polyglot.ext.coffer.types
Class ThrowConstraint_c

java.lang.Object
  polyglot.ext.jl.types.TypeObject_c
      polyglot.ext.coffer.types.ThrowConstraint_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, ThrowConstraint, TypeObject, Copy

public class ThrowConstraint_c
extends TypeObject_c
implements ThrowConstraint

See Also:

Serialized Form

Field Summary

Fields inherited from class polyglot.ext.jl.types.TypeObject_c

position, ts

Constructor Summary

ThrowConstraint_c(CofferTypeSystem ts, Position pos, Type throwType, KeySet keys)

Method Summary

boolean	isCanonical() Return true if the type object contains no unknown/ambiguous types.
KeySet	keys()
ThrowConstraint	keys(KeySet keys)
Type	throwType()
ThrowConstraint	throwType(Type throwType)
java.lang.String	toString()

Methods inherited from class polyglot.ext.jl.types.TypeObject_c

copy, equals, equalsImpl, hashCode, position, typeSystem

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ThrowConstraint_c

public ThrowConstraint_c(CofferTypeSystem ts,
                         Position pos,
                         Type throwType,
                         KeySet keys)

Method Detail

keys

public KeySet keys()

Specified by:

keys in interface ThrowConstraint

keys

public ThrowConstraint keys(KeySet keys)

Specified by:

keys in interface ThrowConstraint

throwType

public Type throwType()

Specified by:

throwType in interface ThrowConstraint

throwType

public ThrowConstraint throwType(Type throwType)

Specified by:

throwType in interface ThrowConstraint

isCanonical

public boolean isCanonical()

Description copied from interface: TypeObject

Return true if the type object contains no unknown/ambiguous types.

Specified by:

isCanonical in interface TypeObject

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object