|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjif.extension.SubtypeChecker
public class SubtypeChecker
A checker of subtype relationships.
Constructor Summary | |
---|---|
SubtypeChecker()
|
Method Summary | |
---|---|
void |
addSubtypeConstraints(LabelChecker lc,
polyglot.util.Position pos,
polyglot.types.Type supertype,
polyglot.types.Type subtype)
Check that subtype <= supertype |
static JifPolyType |
polyTypeForClass(JifClassType jct)
Return the JifPolyType for the given
JifClassType jct . |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public SubtypeChecker()
Method Detail |
---|
public void addSubtypeConstraints(LabelChecker lc, polyglot.util.Position pos, polyglot.types.Type supertype, polyglot.types.Type subtype) throws polyglot.types.SemanticException
polyglot.types.SemanticException
public static JifPolyType polyTypeForClass(JifClassType jct)
JifPolyType
for the given
JifClassType jct
. If jct
is an
instance of JifPolyType
, then jct
is returned;
otherwise, if jct
is an instance of
JifSubstType
then jct.base()
is returned.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |