DataDictionary.Generated.Specification.countChapters C# (CSharp) 메소드

Specification 1 문서 파일 보기 프로젝트 열기: ERTMSSolutions/ERTMSFormalSpecs

countChapters() 공개 메소드

Part of the list interface for Chapters

public countChapters ( ) : int
리턴	int

        public int countChapters()
        {
            return allChapters().Count;
        }

Specification

NotifyControllers

appendChapterRefs

countChapterRefs

deleteChapterRefs

indexOfChapterRefs

indexOfChapters

insertChapterRefs

removeChapterRefs

setAllChapterRefs