Package de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr

This package consists of values (expressions) of type boolean booleans themselves (true,false) are modelled by IntConstants in accordance to soot.

See: Description

Class Summary

Class	Description
EqualExpr	Represents expressions of the form x == y
UnequalExpr	Represents expressions of the form x != y

Package de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr Description

This package consists of values (expressions) of type boolean booleans themselves (true,false) are modelled by IntConstants in accordance to soot.

Author:

Hannah Arndt