polyglot.ext.coffer.types
Class CofferMethodInstance_c
java.lang.Object
polyglot.ext.jl.types.TypeObject_c
polyglot.ext.jl.types.ProcedureInstance_c
polyglot.ext.jl.types.MethodInstance_c
polyglot.ext.coffer.types.CofferMethodInstance_c
- All Implemented Interfaces:
- java.lang.Cloneable, CodeInstance, CofferMethodInstance, CofferProcedureInstance, Copy, MemberInstance, MethodInstance, ProcedureInstance, java.io.Serializable, TypeObject
- public class CofferMethodInstance_c
- extends MethodInstance_c
- implements CofferMethodInstance
An implementation of the CofferMethodInstance interface.
- See Also:
- Serialized Form
| Methods inherited from class polyglot.ext.jl.types.MethodInstance_c |
canOverride, canOverrideImpl, checkOverride, container, designator, equalsImpl, flags, formalTypes, hashCode, implemented, implementedImpl, isCanonical, isSameMethod, isSameMethodImpl, methodCallValid, methodCallValidImpl, name, name, overrides, overridesImpl, returnType, returnType, signature |
| Methods inherited from class polyglot.ext.jl.types.ProcedureInstance_c |
callValid, callValidImpl, container, flags, formalTypes, hasFormals, hasFormalsImpl, listIsCanonical, moreSpecific, moreSpecificImpl, throwsSubset, throwsSubsetImpl |
| Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface polyglot.types.MethodInstance |
canOverride, checkOverride, container, flags, formalTypes, implemented, implementedImpl, isSameMethod, isSameMethodImpl, methodCallValid, methodCallValidImpl, name, name, overrides, overridesImpl, returnType, returnType |
| Methods inherited from interface polyglot.types.ProcedureInstance |
callValid, callValidImpl, designator, formalTypes, hasFormals, hasFormalsImpl, moreSpecific, moreSpecificImpl, signature, throwsSubset, throwsSubsetImpl |
| Methods inherited from interface polyglot.util.Copy |
copy |
entryKeys
protected KeySet entryKeys
returnKeys
protected KeySet returnKeys
throwConstraints
protected java.util.List throwConstraints
CofferMethodInstance_c
public CofferMethodInstance_c(CofferTypeSystem ts,
Position pos,
ReferenceType container,
Flags flags,
Type returnType,
java.lang.String name,
java.util.List argTypes,
KeySet entryKeys,
KeySet returnKeys,
java.util.List throwConstraints)
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
throwTypes
public MethodInstance throwTypes(java.util.List throwTypes)
- Description copied from interface:
MethodInstance
- Set the method's exception throw types.
- Specified by:
throwTypes in interface MethodInstance- Overrides:
throwTypes in class MethodInstance_c
entryKeys
public CofferProcedureInstance entryKeys(KeySet entryKeys)
- Specified by:
entryKeys in interface CofferProcedureInstance
returnKeys
public CofferProcedureInstance returnKeys(KeySet returnKeys)
- Specified by:
returnKeys in interface CofferProcedureInstance
throwConstraints
public CofferProcedureInstance throwConstraints(java.util.List throwConstraints)
- Specified by:
throwConstraints in interface CofferProcedureInstance
canOverrideImpl
public boolean canOverrideImpl(MethodInstance mj,
boolean quiet)
throws SemanticException
- Description copied from interface:
MethodInstance
- Return true if this method can override
mi.
This method should not be called except by TypeSystem
and by subclasses.
If quiet is true and this method cannot override mi, then
false is returned; otherwise, if quiet is false and this method cannot
override mi, then a SemanticException is thrown.
- Specified by:
canOverrideImpl in interface MethodInstance- Overrides:
canOverrideImpl in class MethodInstance_c
- Parameters:
quiet - If true, then no Semantic Exceptions will be thrown, and the
return value will be true or false. Otherwise, if the method
cannot override, then a SemanticException will be thrown, else
the method will return true.
- Throws:
SemanticException
toString
public java.lang.String toString()
- Overrides:
toString in class MethodInstance_c