C# Класс ClaferIR_test.ExtensionMethods

Показать файл Открыть проект

Открытые методы

Метод	Описание
getAbstractClafers ( this module ) : IEnumerable
getAllClafers ( this module ) : IEnumerable
getClafer ( this dec ) : IClafer
getConcreteClafers ( this module ) : IEnumerable
getConstraint ( this dec ) : IConstraint
getDeclarations ( this module ) : IEnumerable
getGoal ( this dec ) : IGoal
getTopLvLDeclarations ( this module ) : IEnumerable
isClafer ( this dec ) : bool
isConstraint ( this dec ) : bool
isGoal ( this dec ) : bool
numClafers ( this mdl ) : int[]	searches through the xml document and retrieves the IDs of abstract and concrete clafers

Описание методов

getAbstractClafers() публичный статический Метод

public static getAbstractClafers ( this module ) : IEnumerable
module	this
Результат	IEnumerable

getAllClafers() публичный статический Метод

public static getAllClafers ( this module ) : IEnumerable
module	this
Результат	IEnumerable

getClafer() публичный статический Метод

public static getClafer ( this dec ) : IClafer
dec	this
Результат	IClafer

getConcreteClafers() публичный статический Метод

public static getConcreteClafers ( this module ) : IEnumerable
module	this
Результат	IEnumerable

getConstraint() публичный статический Метод

public static getConstraint ( this dec ) : IConstraint
dec	this
Результат	IConstraint

getDeclarations() публичный статический Метод

public static getDeclarations ( this module ) : IEnumerable
module	this
Результат	IEnumerable

getGoal() публичный статический Метод

public static getGoal ( this dec ) : IGoal
dec	this
Результат	IGoal

getTopLvLDeclarations() публичный статический Метод

public static getTopLvLDeclarations ( this module ) : IEnumerable
module	this
Результат	IEnumerable

isClafer() публичный статический Метод

public static isClafer ( this dec ) : bool
dec	this
Результат	bool

isConstraint() публичный статический Метод

public static isConstraint ( this dec ) : bool
dec	this
Результат	bool

isGoal() публичный статический Метод

public static isGoal ( this dec ) : bool
dec	this
Результат	bool

numClafers() публичный статический Метод

searches through the xml document and retrieves the IDs of abstract and concrete clafers

public static numClafers ( this mdl ) : int[]
mdl	this	a module loaded from an xml or cfr file
Результат	int[]