polyglot.ext.coffer.types
Class ThrowConstraint_c

java.lang.Object
  extended by polyglot.types.TypeObject_c
      extended by 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.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()
           
 void setKeys(KeySet keys)
           
 void setThrowType(Type throwType)
           
 Type throwType()
           
 java.lang.String toString()
           
 
Methods inherited from class polyglot.types.TypeObject_c
copy, equals, equalsImpl, hashCode, position, typeSystem
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface polyglot.types.TypeObject
equalsImpl, position, typeSystem
 
Methods inherited from interface polyglot.util.Copy
copy
 

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

setKeys

public void setKeys(KeySet keys)
Specified by:
setKeys in interface ThrowConstraint

throwType

public Type throwType()
Specified by:
throwType in interface ThrowConstraint

setThrowType

public void setThrowType(Type throwType)
Specified by:
setThrowType 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