C# Class DataDictionary.Generated.Specification

Inheritance: DataDictionary.Namable
Afficher le fichier Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Méthodes publiques

Méthode Description
NotifyControllers ( Lock aLock ) : void
Specification ( ) : System
allChapterRefs ( ) : ArrayList

Part of the list interface for ChapterRefs

allChapters ( ) : ArrayList

Part of the list interface for Chapters

appendChapterRefs ( ChapterRef el ) : void

Part of the list interface for ChapterRefs

appendChapterRefs ( Lock aLock, ChapterRef el ) : void
appendChapterRefs ( System coll ) : void

Part of the list interface for ChapterRefs

appendChapterRefs ( System coll, Lock aLock ) : void
appendChapters ( Chapter el ) : void

Part of the list interface for Chapters

appendChapters ( Lock aLock, Chapter el ) : void
appendChapters ( System coll ) : void

Part of the list interface for Chapters

appendChapters ( System coll, Lock aLock ) : void
copyTo ( Specification other ) : void
countChapterRefs ( ) : int

Part of the list interface for ChapterRefs

countChapters ( ) : int

Part of the list interface for Chapters

deleteChapterRefs ( int idx ) : void

Part of the list interface for ChapterRefs This deletion function removes an element from the collection in ChapterRefs

deleteChapterRefs ( int idx, Lock aLock ) : void
deleteChapters ( int idx ) : void

Part of the list interface for Chapters This deletion function removes an element from the collection in Chapters

deleteChapters ( int idx, Lock aLock ) : void
dispatch ( XmlBooster.XmlBBaseVisitor v ) : void
dispatch ( XmlBooster.XmlBBaseVisitor v, bool visitSubNodes ) : void
find ( Object search ) : bool
getChapterRefs ( int idx ) : ChapterRef

Part of the list interface for ChapterRefs This function returns an element from the collection in ChapterRefs based on an index.

getChapters ( int idx ) : Chapter

Part of the list interface for Chapters This function returns an element from the collection in Chapters based on an index.

getVersion ( ) : string
indexOfChapterRefs ( IXmlBBase el ) : int

Part of the list interface for ChapterRefs This function returns the index of an element in the collection.

indexOfChapters ( IXmlBBase el ) : int

Part of the list interface for Chapters This function returns the index of an element in the collection.

insertChapterRefs ( int idx, ChapterRef el ) : void

Part of the list interface for ChapterRefs This insertion function inserts a new element in the collection in ChapterRefs

insertChapterRefs ( int idx, ChapterRef el, Lock aLock ) : void
insertChapters ( int idx, Chapter el ) : void

Part of the list interface for Chapters This insertion function inserts a new element in the collection in Chapters

insertChapters ( int idx, Chapter el, Lock aLock ) : void
parse ( XmlBooster.XmlBContext ctxt, string endingTag ) : void This method is used by XMLBooster-generated code internally. Please refrain from using it, as it might produce unexpected results, and might change or even disappear in the future.
parseBody ( XmlBooster.XmlBContext ctxt ) : void This method is used by XMLBooster-generated code internally. Please refrain from using it, as it might produce unexpected results, and might change or even disappear in the future.
removeChapterRefs ( IXmlBBase obj ) : void

Part of the list interface for ChapterRefs This deletion function removes an element from the collection in ChapterRefs If the object given in parameter is not found in the the collection, this function does nothing.

removeChapterRefs ( IXmlBBase obj, Lock aLock ) : void
removeChapters ( IXmlBBase obj ) : void

Part of the list interface for Chapters This deletion function removes an element from the collection in Chapters If the object given in parameter is not found in the the collection, this function does nothing.

removeChapters ( IXmlBBase obj, Lock aLock ) : void
setAllChapterRefs ( Lock aLock, System coll ) : void
setAllChapterRefs ( System coll ) : void

Part of the list interface for ChapterRefs

setAllChapters ( Lock aLock, System coll ) : void
setAllChapters ( System coll ) : void

Part of the list interface for Chapters

setVersion ( string v ) : void
subElements ( ArrayList l ) : void This method is used by XMLBooster-generated code internally. Please refrain from using it, as it might produce unexpected results, and might change or even disappear in the future.
unParse ( TextWriter pw, bool typeId, string headingTag, string endingTag ) : void This method is used by XMLBooster-generated code internally. Please refrain from using it, as it might produce unexpected results, and might change or even disappear in the future.
unParseBody ( TextWriter pw ) : void This method is used by XMLBooster-generated code internally. Please refrain from using it, as it might produce unexpected results, and might change or even disappear in the future.

Private Methods

Méthode Description
getChapterRefs ( ) : ArrayList

Part of the list interface for ChapterRefs

getChapters ( ) : ArrayList

Part of the list interface for Chapters

Method Details

NotifyControllers() public méthode

public NotifyControllers ( Lock aLock ) : void
aLock Lock
Résultat void

Specification() public méthode

public Specification ( ) : System
Résultat System

allChapterRefs() public méthode

Part of the list interface for ChapterRefs
public allChapterRefs ( ) : ArrayList
Résultat System.Collections.ArrayList

allChapters() public méthode

Part of the list interface for Chapters
public allChapters ( ) : ArrayList
Résultat System.Collections.ArrayList

appendChapterRefs() public méthode

Part of the list interface for ChapterRefs
public appendChapterRefs ( ChapterRef el ) : void
el ChapterRef a ChapterRef to add to the collection in /// ChapterRefs
Résultat void

appendChapterRefs() public méthode

public appendChapterRefs ( Lock aLock, ChapterRef el ) : void
aLock Lock
el ChapterRef
Résultat void

appendChapterRefs() public méthode

Part of the list interface for ChapterRefs
public appendChapterRefs ( System coll ) : void
coll System a collection ofChapterRefs to add to the collection in /// ChapterRefs
Résultat void

appendChapterRefs() public méthode

public appendChapterRefs ( System coll, Lock aLock ) : void
coll System
aLock Lock
Résultat void

appendChapters() public méthode

Part of the list interface for Chapters
public appendChapters ( Chapter el ) : void
el Chapter a Chapter to add to the collection in /// Chapters
Résultat void

appendChapters() public méthode

public appendChapters ( Lock aLock, Chapter el ) : void
aLock Lock
el Chapter
Résultat void

appendChapters() public méthode

Part of the list interface for Chapters
public appendChapters ( System coll ) : void
coll System a collection ofChapters to add to the collection in /// Chapters
Résultat void

appendChapters() public méthode

public appendChapters ( System coll, Lock aLock ) : void
coll System
aLock Lock
Résultat void

copyTo() public méthode

public copyTo ( Specification other ) : void
other Specification
Résultat void

countChapterRefs() public méthode

Part of the list interface for ChapterRefs
public countChapterRefs ( ) : int
Résultat int

countChapters() public méthode

Part of the list interface for Chapters
public countChapters ( ) : int
Résultat int

deleteChapterRefs() public méthode

Part of the list interface for ChapterRefs This deletion function removes an element from the collection in ChapterRefs
public deleteChapterRefs ( int idx ) : void
idx int the index of the element to remove
Résultat void

deleteChapterRefs() public méthode

public deleteChapterRefs ( int idx, Lock aLock ) : void
idx int
aLock Lock
Résultat void

deleteChapters() public méthode

Part of the list interface for Chapters This deletion function removes an element from the collection in Chapters
public deleteChapters ( int idx ) : void
idx int the index of the element to remove
Résultat void

deleteChapters() public méthode

public deleteChapters ( int idx, Lock aLock ) : void
idx int
aLock Lock
Résultat void

dispatch() public méthode

public dispatch ( XmlBooster.XmlBBaseVisitor v ) : void
v XmlBooster.XmlBBaseVisitor
Résultat void

dispatch() public méthode

public dispatch ( XmlBooster.XmlBBaseVisitor v, bool visitSubNodes ) : void
v XmlBooster.XmlBBaseVisitor
visitSubNodes bool
Résultat void

find() public méthode

public find ( Object search ) : bool
search Object
Résultat bool

getChapterRefs() public méthode

Part of the list interface for ChapterRefs This function returns an element from the collection in ChapterRefs based on an index.
public getChapterRefs ( int idx ) : ChapterRef
idx int the index of the element to extract
Résultat ChapterRef

getChapters() public méthode

Part of the list interface for Chapters This function returns an element from the collection in Chapters based on an index.
public getChapters ( int idx ) : Chapter
idx int the index of the element to extract
Résultat Chapter

getVersion() public méthode

public getVersion ( ) : string
Résultat string

indexOfChapterRefs() public méthode

Part of the list interface for ChapterRefs This function returns the index of an element in the collection.
public indexOfChapterRefs ( IXmlBBase el ) : int
el IXmlBBase the object to look for
Résultat int

indexOfChapters() public méthode

Part of the list interface for Chapters This function returns the index of an element in the collection.
public indexOfChapters ( IXmlBBase el ) : int
el IXmlBBase the object to look for
Résultat int

insertChapterRefs() public méthode

Part of the list interface for ChapterRefs This insertion function inserts a new element in the collection in ChapterRefs
public insertChapterRefs ( int idx, ChapterRef el ) : void
idx int the index where the insertion must take place
el ChapterRef the element to insert
Résultat void

insertChapterRefs() public méthode

public insertChapterRefs ( int idx, ChapterRef el, Lock aLock ) : void
idx int
el ChapterRef
aLock Lock
Résultat void

insertChapters() public méthode

Part of the list interface for Chapters This insertion function inserts a new element in the collection in Chapters
public insertChapters ( int idx, Chapter el ) : void
idx int the index where the insertion must take place
el Chapter the element to insert
Résultat void

insertChapters() public méthode

public insertChapters ( int idx, Chapter el, Lock aLock ) : void
idx int
el Chapter
aLock Lock
Résultat void

parse() public méthode

This method is used by XMLBooster-generated code internally. Please refrain from using it, as it might produce unexpected results, and might change or even disappear in the future.
public parse ( XmlBooster.XmlBContext ctxt, string endingTag ) : void
ctxt XmlBooster.XmlBContext
endingTag string
Résultat void

parseBody() public méthode

This method is used by XMLBooster-generated code internally. Please refrain from using it, as it might produce unexpected results, and might change or even disappear in the future.
public parseBody ( XmlBooster.XmlBContext ctxt ) : void
ctxt XmlBooster.XmlBContext
Résultat void

removeChapterRefs() public méthode

Part of the list interface for ChapterRefs This deletion function removes an element from the collection in ChapterRefs If the object given in parameter is not found in the the collection, this function does nothing.
public removeChapterRefs ( IXmlBBase obj ) : void
obj IXmlBBase the object to remove
Résultat void

removeChapterRefs() public méthode

public removeChapterRefs ( IXmlBBase obj, Lock aLock ) : void
obj IXmlBBase
aLock Lock
Résultat void

removeChapters() public méthode

Part of the list interface for Chapters This deletion function removes an element from the collection in Chapters If the object given in parameter is not found in the the collection, this function does nothing.
public removeChapters ( IXmlBBase obj ) : void
obj IXmlBBase the object to remove
Résultat void

removeChapters() public méthode

public removeChapters ( IXmlBBase obj, Lock aLock ) : void
obj IXmlBBase
aLock Lock
Résultat void

setAllChapterRefs() public méthode

public setAllChapterRefs ( Lock aLock, System coll ) : void
aLock Lock
coll System
Résultat void

setAllChapterRefs() public méthode

Part of the list interface for ChapterRefs
public setAllChapterRefs ( System coll ) : void
coll System a collection of elements which replaces /// ChapterRefs's current content.
Résultat void

setAllChapters() public méthode

public setAllChapters ( Lock aLock, System coll ) : void
aLock Lock
coll System
Résultat void

setAllChapters() public méthode

Part of the list interface for Chapters
public setAllChapters ( System coll ) : void
coll System a collection of elements which replaces /// Chapters's current content.
Résultat void

setVersion() public méthode

public setVersion ( string v ) : void
v string
Résultat void

subElements() public méthode

This method is used by XMLBooster-generated code internally. Please refrain from using it, as it might produce unexpected results, and might change or even disappear in the future.
public subElements ( ArrayList l ) : void
l System.Collections.ArrayList
Résultat void

unParse() public méthode

This method is used by XMLBooster-generated code internally. Please refrain from using it, as it might produce unexpected results, and might change or even disappear in the future.
public unParse ( TextWriter pw, bool typeId, string headingTag, string endingTag ) : void
pw System.IO.TextWriter
typeId bool
headingTag string
endingTag string
Résultat void

unParseBody() public méthode

This method is used by XMLBooster-generated code internally. Please refrain from using it, as it might produce unexpected results, and might change or even disappear in the future.
public unParseBody ( TextWriter pw ) : void
pw System.IO.TextWriter
Résultat void