orc.ast.extended.type
Class AssertedType

java.lang.Object
  orc.ast.extended.type.Type
      orc.ast.extended.type.AssertedType

public class AssertedType
extends Type

A type which is in some asserted position. In later steps, assertion is represented by a flag on HasType; however, in the extended AST, it is more useful to represent assertion as a type container, because it can be used in many syntactic forms which have not yet been translated to HasType.

Author:

dkitchin

Field Summary

Type

type

Fields inherited from class orc.ast.extended.type.Type

BOT, TOP

Constructor Summary

AssertedType(Type type)

Method Summary

Type	simplify() Convert this extended AST type into a simple AST type.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

type

public Type type

Constructor Detail

AssertedType

public AssertedType(Type type)

Method Detail

simplify

public Type simplify()

Description copied from class: Type

Convert this extended AST type into a simple AST type.

Specified by:

simplify in class Type

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object