Constant Field Values

Contents

• org.obligate.*

org.obligate.*

org.obligate.annotations.contract.proxy.ContractVariables

public static final java.lang.String	POSTCONDITION_ID	".post"
public static final java.lang.String	PRECONDITION_ID	".pre"