com.io7m.jpra.model.type_expressions

Class TypeExprMatrix<I,T>

java.lang.Object

com.io7m.jpra.model.type_expressions.TypeExprMatrix<I,T>

Type Parameters:

I - The type of identifiers

T - The type of evaluated types

All Implemented Interfaces:

ModelElementType, TypeExprType<I,T>

public final class TypeExprMatrix<I,T>
extends Object
implements TypeExprType<I,T>

A matrix type expression.

Constructor Summary

Constructors

Constructor and Description
TypeExprMatrix(T in_type, Optional<com.io7m.jlexing.core.LexicalPosition<Path>> in_lex, SizeExprType<I,T> in_width, SizeExprType<I,T> in_height, TypeExprType<I,T> in_element_type) Construct an expression.

Method Summary

Modifier and Type	Method and Description
TypeExprType<I,T>	getElementType()
SizeExprType<I,T>	getHeight()
Optional<com.io7m.jlexing.core.LexicalPosition<Path>>	getLexicalInformation() Fetch the lexical information for the element.
T	getType()
SizeExprType<I,T>	getWidth()
<A,E extends Exception> A	matchType(TypeExprMatcherType<I,T,A,E> m) Accept a matcher.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TypeExprMatrix

public TypeExprMatrix(T in_type,
                      Optional<com.io7m.jlexing.core.LexicalPosition<Path>> in_lex,
                      SizeExprType<I,T> in_width,
                      SizeExprType<I,T> in_height,
                      TypeExprType<I,T> in_element_type)

Construct an expression.

Parameters:

in_type - The expression type

in_lex - Lexical information

in_width - The number of columns

in_height - The number of rows

in_element_type - The type of elements

Method Detail

getType

public T getType()

Specified by:

getType in interface TypeExprType<I,T>

Returns:

The assigned expression type

getHeight

public SizeExprType<I,T> getHeight()

Returns:

A size expression denoting the number of rows

getElementType

public TypeExprType<I,T> getElementType()

Returns:

A type expression denoting the type of elements

getWidth

public SizeExprType<I,T> getWidth()

Returns:

A size expression denoting the number of columns

matchType

public <A,E extends Exception> A matchType(TypeExprMatcherType<I,T,A,E> m)
                                    throws E extends Exception

Description copied from interface: TypeExprType

Accept a matcher.

Specified by:

matchType in interface TypeExprType<I,T>

Type Parameters:

A - The type of returned values

E - The type of raised exceptions

Parameters:

m - The matcher

Returns:

The value returned by m

Throws:

E - If m raises E

E extends Exception

getLexicalInformation

public Optional<com.io7m.jlexing.core.LexicalPosition<Path>> getLexicalInformation()

Description copied from interface: ModelElementType

Fetch the lexical information for the element. This is used to localize error messages to a position in a file when referring to specific elements.

Specified by:

getLexicalInformation in interface ModelElementType

Returns:

The original lexical information, if any