Envision
A visual programming IDE for object-oriented languages
List of all members | Static Public Member Functions | Static Private Attributes
ContractsLibrary::ContractFilter Class Reference

Static Public Member Functions

static void hideContractsFilter (OOVisualization::VStatementItemList *, int &begin, int &end)
 
static int indexOfLastContractStatement (OOModel::StatementItemList *statements)
 
static bool isDefinitelyAContractStatement (OOModel::StatementItem *statement)
 
static bool isPotentiallyAContractStatement (OOModel::StatementItem *statement)
 
static void setContractsClass (OOModel::Class *contractClass)
 
static void showOnlyContractsFilter (OOVisualization::VStatementItemList *list, int &begin, int &end)
 

Static Private Attributes

static OOModel::ClasscontractClass_ {}
 

Member Function Documentation

◆ hideContractsFilter()

void ContractsLibrary::ContractFilter::hideContractsFilter ( OOVisualization::VStatementItemList list,
int &  begin,
int &  end 
)
static

◆ indexOfLastContractStatement()

int ContractsLibrary::ContractFilter::indexOfLastContractStatement ( OOModel::StatementItemList statements)
static

◆ isDefinitelyAContractStatement()

bool ContractsLibrary::ContractFilter::isDefinitelyAContractStatement ( OOModel::StatementItem statement)
static

◆ isPotentiallyAContractStatement()

bool ContractsLibrary::ContractFilter::isPotentiallyAContractStatement ( OOModel::StatementItem statement)
static

◆ setContractsClass()

void ContractsLibrary::ContractFilter::setContractsClass ( OOModel::Class contractClass)
inlinestatic

◆ showOnlyContractsFilter()

void ContractsLibrary::ContractFilter::showOnlyContractsFilter ( OOVisualization::VStatementItemList list,
int &  begin,
int &  end 
)
static

Member Data Documentation

◆ contractClass_

OOModel::Class * ContractsLibrary::ContractFilter::contractClass_ {}
staticprivate