Uses of Class
org.jmlspecs.jml4.fspv.simpl.ast.SimplAssignment

Packages that use SimplAssignment

org.jmlspecs.jml4.fspv.simpl.ast

Uses of SimplAssignment in org.jmlspecs.jml4.fspv.simpl.ast

Fields in org.jmlspecs.jml4.fspv.simpl.ast declared as SimplAssignment

SimplAssignment[]	SimplNewExpression.initializations
SimplAssignment	SimplConstructor.memoryAllocationAssignment

Constructors in org.jmlspecs.jml4.fspv.simpl.ast with parameters of type SimplAssignment

SimplConstructor(java.lang.String name, SimplHoareState state, SimplArgument[] args, SimplLocalVariable[] locals, SimplStatement[] statements, SimplAssignment memoryAllocationAssignment, SimplExpression memoryCountExpression)

SimplNewExpression(SimplDefinitionReference simplDefinitionExpression, SimplAssignment[] initializations)