com.togethersoft.sca.ast
Interface AstDbcProvider

All Known Subinterfaces:

AstInitializer, AstMethod, AstType

public interface AstDbcProvider

Provides access to DbC contracts associated with a declaration (class or method).

Method Summary

AstExpression[]	getInvariants() Returns a set of class invariant conditions.
AstExpression[]	getPostconditions() Returns a set of method postconditions.
AstExpression[]	getPreconditions() Returns a set of method preconditions.

Method Detail

getInvariants

public AstExpression[] getInvariants()

Returns a set of class invariant conditions.

getPostconditions

public AstExpression[] getPostconditions()

Returns a set of method postconditions.

getPreconditions

public AstExpression[] getPreconditions()

Returns a set of method preconditions.