DataDictionary.Generated.Structure.countProcedures C# (CSharp) Method

Structure Class Documentation 显示文件 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

allStateMachines

appendInterfaces

appendProcedures

appendStateMachines

countInterfaces

countProcedures

countStateMachines

deleteInterfaces

deleteProcedures

deleteStateMachines

getStateMachines

indexOfElements

indexOfInterfaces

indexOfProcedures

indexOfStateMachines

insertInterfaces

insertProcedures

insertStateMachines

removeInterfaces

removeProcedures

removeStateMachines

setAllInterfaces

setAllProcedures

setAllStateMachines