com.io7m.jpra.model.size_expressions

Class SizeExprConstant<I,T>

java.lang.Object

com.io7m.jpra.model.size_expressions.SizeExprConstant<I,T>

Type Parameters:

I - The type of identifiers

T - The type of type information

All Implemented Interfaces:

ModelElementType, SizeExprType<I,T>

@Immutable
public final class SizeExprConstant<I,T>
extends Object
implements SizeExprType<I,T>

A constant size.

Constructor Summary

Constructors

Constructor and Description
SizeExprConstant(Optional<com.io7m.jlexing.core.ImmutableLexicalPositionType<Path>> in_lex, BigInteger in_size) Construct a size expression.

Method Summary

Modifier and Type	Method and Description
Optional<com.io7m.jlexing.core.ImmutableLexicalPositionType<Path>>	getLexicalInformation() Fetch the lexical information for the element.
BigInteger	getValue()
<A,E extends Exception> A	matchSizeExpression(SizeExprMatcherType<I,T,A,E> m) Accept a matcher.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SizeExprConstant

public SizeExprConstant(Optional<com.io7m.jlexing.core.ImmutableLexicalPositionType<Path>> in_lex,
                        BigInteger in_size)

Construct a size expression.

Parameters:

in_lex - The lexical information for the name

in_size - The size expression

Method Detail

getValue

public BigInteger getValue()

Returns:

The size value

matchSizeExpression

public <A,E extends Exception> A matchSizeExpression(SizeExprMatcherType<I,T,A,E> m)
                                              throws E extends Exception

Description copied from interface: SizeExprType

Accept a matcher.

Specified by:

matchSizeExpression in interface SizeExprType<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

toString

public String toString()

Overrides:

toString in class Object

getLexicalInformation

public Optional<com.io7m.jlexing.core.ImmutableLexicalPositionType<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