protected static class CovarRetOutputExtensionInfo.CovarRetMethodInstance_c extends MethodInstance_c
decl, name, returnType
container, flags, formalTypes, throwTypes
position, ts
Constructor and Description |
---|
CovarRetOutputExtensionInfo.CovarRetMethodInstance_c(TypeSystem ts,
Position pos,
ReferenceType container,
Flags flags,
Type returnType,
java.lang.String name,
java.util.List<? extends Type> formals,
java.util.List<? extends Type> throwTypes) |
Modifier and Type | Method and Description |
---|---|
boolean |
canOverrideImpl(MethodInstance mj,
boolean quiet)
Return true if this method can override
mi . |
protected boolean |
canOverrideReturnType(Type ri,
Type rj) |
canOverride, canOverrideImpl, checkOverride, container, declaration, designator, equalsImpl, flags, formalTypes, hashCode, implemented, implementedImpl, implementedImplAux, isCanonical, isSameMethod, isSameMethodImpl, methodCallValid, methodCallValidImpl, name, name, orig, overrides, overridesImpl, returnType, returnType, setDeclaration, setName, setReturnType, signature, throwTypes, toString
callValid, callValidImpl, container, flags, formalTypes, hasFormals, hasFormalsImpl, listIsCanonical, moreSpecific, moreSpecificImpl, setContainer, setFlags, setFormalTypes, setThrowTypes, throwsSubset, throwsSubsetImpl, throwTypes
copy, equals, position, typeSystem
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
callValid, callValidImpl, formalTypes, hasFormals, hasFormalsImpl, moreSpecific, moreSpecificImpl, setFormalTypes, setThrowTypes, throwsSubset, throwsSubsetImpl, throwTypes
flags
position, typeSystem
container, flags, setContainer, setFlags
public CovarRetOutputExtensionInfo.CovarRetMethodInstance_c(TypeSystem ts, Position pos, ReferenceType container, Flags flags, Type returnType, java.lang.String name, java.util.List<? extends Type> formals, java.util.List<? extends Type> throwTypes)
public boolean canOverrideImpl(MethodInstance mj, boolean quiet) throws SemanticException
MethodInstance
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.canOverrideImpl
in interface MethodInstance
canOverrideImpl
in class MethodInstance_c
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.SemanticException