pta

Type Members

1. final case class ArraySlot(ins: Instance) extends HeapSlot with Product with Serializable

   

2. final case class ClassInstance(classtyp: JawaType, defSite: Context) extends Instance with Product with Serializable

   

3. final case class ClassSlot(classtyp: JawaType) extends NameSlot with Product with Serializable

   

4. final case class FieldSlot(ins: Instance, fieldName: String) extends HeapSlot with Product with Serializable

   

5. abstract class HeapSlot extends PTASlot

   

6. abstract class Instance extends AnyRef

   

7. final case class InstanceSlot(ins: Instance) extends PTASlot with Product with Serializable

   

8. final case class InvokeSlot(sig: Signature, invTyp: String) extends PTASlot with Product with Serializable

   

9. abstract class NameSlot extends PTASlot

   

10. abstract class PTAAbstractStringInstance extends Instance

    

11. final case class PTAConcreteStringInstance(string: String, defSite: Context) extends PTAAbstractStringInstance with Product with Serializable

    

12. final case class PTAInstance(typ: JawaType, defSite: Context, isNull_: Boolean) extends Instance with Product with Serializable

    

13. final case class PTAPointStringInstance(defSite: Context) extends PTAAbstractStringInstance with Product with Serializable

    

    PTAPointStringInstance represents a general String instance whose content can be any string i.e.

    PTAPointStringInstance represents a general String instance whose content can be any string i.e. reg expression "*"

14. class PTAResult extends AnyRef

    

15. abstract class PTASlot extends Slot

    

16. final case class PTATupleInstance(left: Instance, right: Instance, defSite: Context) extends Instance with Product with Serializable

    

17. final case class StaticFieldSlot(fqn: FieldFQN) extends NameSlot with Product with Serializable

    

18. final case class VarSlot(varName: String, isBase: Boolean, isArg: Boolean) extends NameSlot with Product with Serializable