Toggle navigation
Hot Examples
ES
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Buscar
Inicio
DataDictionary
Generated
Structure
countProcedures
DataDictionary.Generated.Structure.countProcedures C# (CSharp) Method
Structure Class Documentation
Mostrar archivo
Open project: ERTMSSolutions/ERTMSFormalSpecs
countProcedures()
public
method
Part of the list interface for Procedures
public
countProcedures
( ) :
int
return
int
public int countProcedures() { return allProcedures().Count; }
Structure
NotifyControllers
Structure
allElements
allInterfaces
allProcedures
allRules
allStateMachines
appendElements
appendInterfaces
appendProcedures
appendRules
appendStateMachines
copyTo
countElements
countInterfaces
countProcedures
countRules
countStateMachines
deleteElements
deleteInterfaces
deleteProcedures
deleteRules
deleteStateMachines
dispatch
find
getElements
getInterfaces
getIsAbstract
getProcedures
getRules
getStateMachines
indexOfElements
indexOfInterfaces
indexOfProcedures
indexOfRules
indexOfStateMachines
insertElements
insertInterfaces
insertProcedures
insertRules
insertStateMachines
parse
parseBody
removeElements
removeInterfaces
removeProcedures
removeRules
removeStateMachines
setAllElements
setAllInterfaces
setAllProcedures
setAllRules
setAllStateMachines
setIsAbstract
subElements
unParse
unParseBody