Uses of Class
org.jmlspecs.jml4.esc.gc.lang.expr.CfgAssignable

Packages that use CfgAssignable

org.jmlspecs.jml4.esc.gc.lang.expr

Uses of CfgAssignable in org.jmlspecs.jml4.esc.gc.lang.expr

Subclasses of CfgAssignable in org.jmlspecs.jml4.esc.gc.lang.expr

class	CfgArrayReference
class	CfgFieldReference
class	CfgVariable

Methods in org.jmlspecs.jml4.esc.gc.lang.expr that return CfgAssignable

CfgAssignable	CfgVariable.withIncarnation(int newIncarnation)
CfgAssignable	CfgFieldReference.withIncarnation(int newIncarnation)
abstract CfgAssignable	CfgAssignable.withIncarnation(int newIncarnation)
CfgAssignable	CfgArrayReference.withIncarnation(int newIncarnation)