PlainConstraint (Soot - a J*va Optimization Framework 4.6.0 API)

java.lang.Object
- soot.jimple.spark.geom.dataRep.PlainConstraint

All Implemented Interfaces:

Numberable
```
public class PlainConstraint
extends Object
implements Numberable
```
The geometric encoding based constraint descriptor.

Author:

xiao

Field Summary

Fields
Modifier and Type	Field	Description
`int`	`code`	Indicate the mapping relation between the two pointers, 1-1, 1-many, ...
`Pair<IVarAbstraction,IVarAbstraction>`	`expr`	The two pointers involved in this constraint
`SparkField`	`f`	The field that is involved in a complex constraint
`Set<Edge>`	`interCallEdges`	If this constraint represents a parameter passing or function return, the corresponding call edge is identified here
`boolean`	`isActive`	To indicate if this constraint will be evaluated or not
`IVarAbstraction`	`otherSide`	Used in complex constraint.
`int`	`type`	The type of this constraint, e.g.

Constructor Summary

Constructors
Constructor Description

PlainConstraint()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`IVarAbstraction`	`getLHS()`
`int`	`getNumber()`
`IVarAbstraction`	`getRHS()`
`void`	`setLHS(IVarAbstraction newLHS)`
`void`	`setNumber(int number)`
`void`	`setRHS(IVarAbstraction newRHS)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - type
```
public int type
```
    The type of this constraint, e.g. allocation, assignment or complex
  - expr
```
public Pair<IVarAbstraction,IVarAbstraction> expr
```
    The two pointers involved in this constraint
  - otherSide
```
public IVarAbstraction otherSide
```
    Used in complex constraint. If this constraint is a store p.f = q, we say otherSide = q
  - code
```
public int code
```
    Indicate the mapping relation between the two pointers, 1-1, 1-many, ...
  - f
```
public SparkField f
```
    The field that is involved in a complex constraint
  - interCallEdges
```
public Set<Edge> interCallEdges
```
    If this constraint represents a parameter passing or function return, the corresponding call edge is identified here
  - isActive
```
public boolean isActive
```
    To indicate if this constraint will be evaluated or not
- Constructor Detail
  - PlainConstraint
```
public PlainConstraint()
```
- Method Detail
  - setNumber
```
public void setNumber(int number)
```
    Specified by:
    
    setNumber in interface Numberable
  - getNumber
```
public int getNumber()
```
    Specified by:
    
    getNumber in interface Numberable
  - getLHS
```
public IVarAbstraction getLHS()
```
  - setLHS
```
public void setLHS(IVarAbstraction newLHS)
```
  - getRHS
```
public IVarAbstraction getRHS()
```
  - setRHS
```
public void setRHS(IVarAbstraction newRHS)
```