|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object edu.neu.ccs.demeterf.inline.SubTyping
public class SubTyping
Constructor Summary | |
---|---|
SubTyping(List<DemFGenMain> CD)
|
Method Summary | |
---|---|
boolean |
applicable(List<TypeUse> form,
List<TypeUse> act)
Are the given actual argument types applicable to the formal types? |
boolean |
applicableStar(List<TypeUse> form,
List<Option<TypeUse>> act)
Are the given actual argument types applicable to the formal types? |
TypeUse |
makeType(java.lang.String s)
|
boolean |
possible(List<TypeUse> form,
List<TypeUse> act)
Are the given actual argument types applicable to the formal types? |
boolean |
possibleStar(List<TypeUse> form,
List<Option<TypeUse>> act)
Are the given actual argument types applicable to the formal types? |
boolean |
subtype(List<TypeUse> ts,
List<TypeUse> us)
|
boolean |
subtype(TypeUse t,
TypeUse u)
Is the first a subtype (<=) of the second? |
TypeUse |
supertype(TypeUse t)
Find the super class of the given Type |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public SubTyping(List<DemFGenMain> CD)
Method Detail |
---|
public java.lang.String toString()
toString
in class java.lang.Object
public TypeUse supertype(TypeUse t)
public TypeUse makeType(java.lang.String s)
public boolean subtype(TypeUse t, TypeUse u)
public boolean subtype(List<TypeUse> ts, List<TypeUse> us)
public boolean applicable(List<TypeUse> form, List<TypeUse> act)
public boolean applicableStar(List<TypeUse> form, List<Option<TypeUse>> act)
public boolean possible(List<TypeUse> form, List<TypeUse> act)
public boolean possibleStar(List<TypeUse> form, List<Option<TypeUse>> act)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |