DataDictionary.Generated.Specification.countChapters C# (CSharp) Method

Specification Class Documentation Mostrar archivo Open project: ERTMSSolutions/ERTMSFormalSpecs

countChapters() public method

Part of the list interface for Chapters
public countChapters ( ) : int
return int 
        public int countChapters()
        {
            return allChapters().Count;
        }
Specification
NotifyControllers
Specification
allChapterRefs
allChapters
appendChapterRefs
appendChapters
copyTo
countChapterRefs
countChapters
deleteChapterRefs
deleteChapters
dispatch
find
getChapterRefs
getChapters
getVersion
indexOfChapterRefs
indexOfChapters
insertChapterRefs
insertChapters
parse
parseBody
removeChapterRefs
removeChapters
setAllChapterRefs
setAllChapters
setVersion
subElements
unParse
unParseBody