polyglot.ext.coffer.types
Class CofferConstructorInstance_c

java.lang.Object
  extended by polyglot.types.TypeObject_c
      extended by polyglot.types.ProcedureInstance_c
          extended by polyglot.types.ConstructorInstance_c
              extended by polyglot.ext.coffer.types.CofferConstructorInstance_c
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, CofferConstructorInstance, CofferProcedureInstance, CodeInstance, ConstructorInstance, Declaration, MemberInstance, ProcedureInstance, TypeObject, Copy

public class CofferConstructorInstance_c
extends ConstructorInstance_c
implements CofferConstructorInstance

An implementation of the CofferConstructorInstance interface.

See Also:
Serialized Form

Nested Class Summary
 class CofferConstructorInstance_c.GetType
           
 
Field Summary
protected  KeySet entryKeys
           
protected  KeySet returnKeys
           
protected  java.util.List throwConstraints
           
 
Fields inherited from class polyglot.types.ProcedureInstance_c
container, decl, flags, formalTypes, throwTypes
 
Fields inherited from class polyglot.types.TypeObject_c
position, ts
 
Constructor Summary
CofferConstructorInstance_c(CofferTypeSystem ts, Position pos, ClassType container, Flags flags, java.util.List argTypes, KeySet entryKeys, KeySet returnKeys, java.util.List throwConstraints)
           
 
Method Summary
 KeySet entryKeys()
           
 boolean isCanonical()
          Return true if the type object contains no unknown/ambiguous types.
 KeySet returnKeys()
           
 void setEntryKeys(KeySet entryKeys)
           
 void setReturnKeys(KeySet returnKeys)
           
 void setThrowConstraints(java.util.List throwConstraints)
           
 void setThrowTypes(java.util.List throwTypes)
           
 java.util.List throwConstraints()
           
 java.util.List throwTypes()
          List of declared exception types thrown.
 java.lang.String toString()
           
 
Methods inherited from class polyglot.types.ConstructorInstance_c
container, designator, equalsImpl, flags, formalTypes, orig, signature, throwTypes
 
Methods inherited from class polyglot.types.ProcedureInstance_c
callValid, callValidImpl, container, declaration, flags, formalTypes, hasFormals, hasFormalsImpl, hashCode, listIsCanonical, moreSpecific, moreSpecificImpl, setContainer, setDeclaration, setFlags, setFormalTypes, throwsSubset, throwsSubsetImpl
 
Methods inherited from class polyglot.types.TypeObject_c
copy, equals, position, typeSystem
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface polyglot.types.ConstructorInstance
container, flags, formalTypes, orig, throwTypes
 
Methods inherited from interface polyglot.types.ProcedureInstance
callValid, callValidImpl, designator, formalTypes, hasFormals, hasFormalsImpl, moreSpecific, moreSpecificImpl, setFormalTypes, signature, throwsSubset, throwsSubsetImpl
 
Methods inherited from interface polyglot.types.MemberInstance
container, flags, setContainer, setFlags
 
Methods inherited from interface polyglot.types.Declaration
declaration, setDeclaration
 
Methods inherited from interface polyglot.types.ProcedureInstance
callValid, callValidImpl, designator, formalTypes, hasFormals, hasFormalsImpl, moreSpecific, moreSpecificImpl, setFormalTypes, signature, throwsSubset, throwsSubsetImpl
 
Methods inherited from interface polyglot.types.MemberInstance
container, flags, setContainer, setFlags
 
Methods inherited from interface polyglot.types.Declaration
declaration, setDeclaration
 

Field Detail

entryKeys

protected KeySet entryKeys

returnKeys

protected KeySet returnKeys

throwConstraints

protected java.util.List throwConstraints
Constructor Detail

CofferConstructorInstance_c

public CofferConstructorInstance_c(CofferTypeSystem ts,
                                   Position pos,
                                   ClassType container,
                                   Flags flags,
                                   java.util.List argTypes,
                                   KeySet entryKeys,
                                   KeySet returnKeys,
                                   java.util.List throwConstraints)
Method Detail

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
Overrides:
isCanonical in class ConstructorInstance_c

entryKeys

public KeySet entryKeys()
Specified by:
entryKeys in interface CofferProcedureInstance

returnKeys

public KeySet returnKeys()
Specified by:
returnKeys in interface CofferProcedureInstance

throwConstraints

public java.util.List throwConstraints()
Specified by:
throwConstraints in interface CofferProcedureInstance

throwTypes

public java.util.List throwTypes()
Description copied from interface: ProcedureInstance
List of declared exception types thrown.

Specified by:
throwTypes in interface ProcedureInstance
Overrides:
throwTypes in class ProcedureInstance_c
Returns:
A list of Type.
See Also:
Type

setThrowTypes

public void setThrowTypes(java.util.List throwTypes)
Specified by:
setThrowTypes in interface ProcedureInstance
Overrides:
setThrowTypes in class ProcedureInstance_c
Parameters:
throwTypes - The throwTypes to set.

setEntryKeys

public void setEntryKeys(KeySet entryKeys)
Specified by:
setEntryKeys in interface CofferProcedureInstance

setReturnKeys

public void setReturnKeys(KeySet returnKeys)
Specified by:
setReturnKeys in interface CofferProcedureInstance

setThrowConstraints

public void setThrowConstraints(java.util.List throwConstraints)
Specified by:
setThrowConstraints in interface CofferProcedureInstance

toString

public java.lang.String toString()
Overrides:
toString in class ConstructorInstance_c