ContractsLibrary Namespace Reference

Classes
class	ChangeMonitor
class	ContractFilter
class	ContractsLibraryException
class	ContractsLibraryPlugin
	Implements the interface between the ContractsLibrary plug-in and Envision. More...
class	ContractsLibraryTest
class	InterfaceContractsVMethodAddOn
class	SignatureContractsVMethodAddOn
class	ValueAtReturnVisitor

Functions
Method *	createAppend ()
Class *	createBaseClass ()
Module *	createClientModule ()
Module *	createContractsLibrary ()
Class *	createDerivedClass ()
Class *	createDerivedDerivedClass ()
Method *	createFactorial ()
Class *	createInterface ()
Class *	createInterfaceContracts ()
Method *	createMinMax ()
Class *	createPaperClass ()

Variables
static const bool	DISABLE_ALL_CUSTOMIZATIONS = false
static const bool	DISABLE_FILTERS = false
static const bool	DISABLE_KEYWORD_INPUT_ANNOTATIONS = false
static const bool	DISABLE_KEYWORD_VISUALIZATION_ANNOTATIONS = false
static const bool	DISABLE_METHOD_ADDONS = false
static const bool	DISABLE_VALUE_AT_RETURN_VISITOR = false

Function Documentation

createAppend()

Method* ContractsLibrary::createAppend

(

)

createBaseClass()

Class* ContractsLibrary::createBaseClass

(

)

createClientModule()

Module* ContractsLibrary::createClientModule

(

)

createContractsLibrary()

Module* ContractsLibrary::createContractsLibrary

(

)

createDerivedClass()

Class* ContractsLibrary::createDerivedClass

(

)

createDerivedDerivedClass()

Class* ContractsLibrary::createDerivedDerivedClass

(

)

createFactorial()

Method* ContractsLibrary::createFactorial

(

)

createInterface()

Class* ContractsLibrary::createInterface

(

)

createInterfaceContracts()

Class* ContractsLibrary::createInterfaceContracts

(

)

createMinMax()

Method* ContractsLibrary::createMinMax

(

)

createPaperClass()

Class* ContractsLibrary::createPaperClass

(

)

Variable Documentation

DISABLE_ALL_CUSTOMIZATIONS

const bool ContractsLibrary::DISABLE_ALL_CUSTOMIZATIONS = false

static

DISABLE_FILTERS

const bool ContractsLibrary::DISABLE_FILTERS = false

static

DISABLE_KEYWORD_INPUT_ANNOTATIONS

const bool ContractsLibrary::DISABLE_KEYWORD_INPUT_ANNOTATIONS = false

static

DISABLE_KEYWORD_VISUALIZATION_ANNOTATIONS

const bool ContractsLibrary::DISABLE_KEYWORD_VISUALIZATION_ANNOTATIONS = false

static

DISABLE_METHOD_ADDONS

const bool ContractsLibrary::DISABLE_METHOD_ADDONS = false

static

DISABLE_VALUE_AT_RETURN_VISITOR

const bool ContractsLibrary::DISABLE_VALUE_AT_RETURN_VISITOR = false

static