Package qilin.pta.toolkits.moon.support

Record Class MoonDataConstructor.MoonDataStructure

java.lang.Object
java.lang.Record
qilin.pta.toolkits.moon.support.MoonDataConstructor.MoonDataStructure
Enclosing class:
MoonDataConstructor
public static record MoonDataConstructor.MoonDataStructure(OAG oag, VFG vfgForField, VFG vfgForObj, FieldRecorder fieldRecorder, FieldFlowRecorder fieldFlowRecorder, com.google.common.collect.SetMultimap<SootMethod,AllocNode> mthToRecvObj, KeyTypeCollector keyTypeCollector, com.google.common.collect.SetMultimap<AllocNode,SootMethod> objToIvkMtds, Set<LocalVarNode> allocVars, Set<AllocNode> containers, PtrSetCache ptrSetCache, FieldPointsToGraph fieldPointsToGraph, PAG pag) extends Record

  • Constructor Details

    • MoonDataStructure

      public MoonDataStructure(OAG oag, VFG vfgForField, VFG vfgForObj, FieldRecorder fieldRecorder, FieldFlowRecorder fieldFlowRecorder, com.google.common.collect.SetMultimap<SootMethod,AllocNode> mthToRecvObj, KeyTypeCollector keyTypeCollector, com.google.common.collect.SetMultimap<AllocNode,SootMethod> objToIvkMtds, Set<LocalVarNode> allocVars, Set<AllocNode> containers, PtrSetCache ptrSetCache, FieldPointsToGraph fieldPointsToGraph, PAG pag)
      Creates an instance of a MoonDataStructure record class.
      Parameters:
      oag - the value for the oag record component
      vfgForField - the value for the vfgForField record component
      vfgForObj - the value for the vfgForObj record component
      fieldRecorder - the value for the fieldRecorder record component
      fieldFlowRecorder - the value for the fieldFlowRecorder record component
      mthToRecvObj - the value for the mthToRecvObj record component
      keyTypeCollector - the value for the keyTypeCollector record component
      objToIvkMtds - the value for the objToIvkMtds record component
      allocVars - the value for the allocVars record component
      containers - the value for the containers record component
      ptrSetCache - the value for the ptrSetCache record component
      fieldPointsToGraph - the value for the fieldPointsToGraph record component
      pag - the value for the pag record component

  • Method Details

    • toString

      public final String toString()
      Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.
      Specified by:
      toString in class Record
      Returns:
      a string representation of this object

    • hashCode

      public final int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object

    • equals

      public final boolean equals(Object o)
      Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with Objects::equals(Object,Object).
      Specified by:
      equals in class Record
      Parameters:
      o - the object with which to compare
      Returns:
      true if this object is the same as the o argument; false otherwise.

    • oag

      public OAG oag()
      Returns the value of the oag record component.
      Returns:
      the value of the oag record component

    • vfgForField

      public VFG vfgForField()
      Returns the value of the vfgForField record component.
      Returns:
      the value of the vfgForField record component

    • vfgForObj

      public VFG vfgForObj()
      Returns the value of the vfgForObj record component.
      Returns:
      the value of the vfgForObj record component

    • fieldRecorder

      public FieldRecorder fieldRecorder()
      Returns the value of the fieldRecorder record component.
      Returns:
      the value of the fieldRecorder record component

    • fieldFlowRecorder

      public FieldFlowRecorder fieldFlowRecorder()
      Returns the value of the fieldFlowRecorder record component.
      Returns:
      the value of the fieldFlowRecorder record component

    • mthToRecvObj

      public com.google.common.collect.SetMultimap<SootMethod,AllocNode> mthToRecvObj()
      Returns the value of the mthToRecvObj record component.
      Returns:
      the value of the mthToRecvObj record component

    • keyTypeCollector

      public KeyTypeCollector keyTypeCollector()
      Returns the value of the keyTypeCollector record component.
      Returns:
      the value of the keyTypeCollector record component

    • objToIvkMtds

      public com.google.common.collect.SetMultimap<AllocNode,SootMethod> objToIvkMtds()
      Returns the value of the objToIvkMtds record component.
      Returns:
      the value of the objToIvkMtds record component

    • allocVars

      public Set<LocalVarNode> allocVars()
      Returns the value of the allocVars record component.
      Returns:
      the value of the allocVars record component

    • containers

      public Set<AllocNode> containers()
      Returns the value of the containers record component.
      Returns:
      the value of the containers record component

    • ptrSetCache

      public PtrSetCache ptrSetCache()
      Returns the value of the ptrSetCache record component.
      Returns:
      the value of the ptrSetCache record component

    • fieldPointsToGraph

      public FieldPointsToGraph fieldPointsToGraph()
      Returns the value of the fieldPointsToGraph record component.
      Returns:
      the value of the fieldPointsToGraph record component

    • pag

      public PAG pag()
      Returns the value of the pag record component.
      Returns:
      the value of the pag record component