orc.ast.extended.expression
Class AssertType

java.lang.Object
  orc.ast.extended.expression.Expression
      orc.ast.extended.expression.AssertType

All Implemented Interfaces:

ASTNode, Locatable, Located

public class AssertType
extends Expression

Nested Class Summary

Nested classes/interfaces inherited from class orc.ast.extended.expression.Expression

Expression.Arg

Field Summary

Expression	body
Type	type

Constructor Summary

AssertType(Expression body, Type type)

Method Summary

<E> E	accept(Visitor<E> visitor)
Expression	simplify() Simplify an expression which occurs in a call (non-nested) position.
java.lang.String	toString()

Methods inherited from class orc.ast.extended.expression.Expression

argify, getSourceLocation, join, setSourceLocation, uncurry

Methods inherited from class java.lang.Object

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

Field Detail

body

public Expression body

type

public Type type

Constructor Detail

AssertType

public AssertType(Expression body,
                  Type type)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

accept

public <E> E accept(Visitor<E> visitor)

simplify

public Expression simplify()
                    throws CompilationException

Description copied from class: Expression

Simplify an expression which occurs in a call (non-nested) position.

Specified by:

simplify in class Expression

Returns:

The simplified expression

Throws:

CompilationException