C# Class DataDictionary.Generated.Specification

Inheritance: DataDictionary.Namable

Mostrar archivo Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Public Methods

Method	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

Method	Description
getChapterRefs ( ) : ArrayList	Part of the list interface for ChapterRefs
getChapters ( ) : ArrayList	Part of the list interface for Chapters

Method Details

NotifyControllers() public method

public NotifyControllers ( Lock aLock ) : void
aLock	Lock
return	void

Specification() public method

public Specification ( ) : System
return	System

allChapterRefs() public method

Part of the list interface for ChapterRefs

public allChapterRefs ( ) : ArrayList
return	System.Collections.ArrayList

allChapters() public method

Part of the list interface for Chapters

public allChapters ( ) : ArrayList
return	System.Collections.ArrayList

appendChapterRefs() public method

Part of the list interface for ChapterRefs

public appendChapterRefs ( ChapterRef el ) : void
el	ChapterRef	a ChapterRef to add to the collection in /// ChapterRefs
return	void

appendChapterRefs() public method

public appendChapterRefs ( Lock aLock, ChapterRef el ) : void
aLock	Lock
el	ChapterRef
return	void

appendChapterRefs() public method

Part of the list interface for ChapterRefs

public appendChapterRefs ( System coll ) : void
coll	System	a collection ofChapterRefs to add to the collection in /// ChapterRefs
return	void

appendChapterRefs() public method

public appendChapterRefs ( System coll, Lock aLock ) : void
coll	System
aLock	Lock
return	void

appendChapters() public method

Part of the list interface for Chapters

public appendChapters ( Chapter el ) : void
el	Chapter	a Chapter to add to the collection in /// Chapters
return	void

appendChapters() public method

public appendChapters ( Lock aLock, Chapter el ) : void
aLock	Lock
el	Chapter
return	void

appendChapters() public method

Part of the list interface for Chapters

public appendChapters ( System coll ) : void
coll	System	a collection ofChapters to add to the collection in /// Chapters
return	void

appendChapters() public method

public appendChapters ( System coll, Lock aLock ) : void
coll	System
aLock	Lock
return	void

copyTo() public method

public copyTo ( Specification other ) : void
other	Specification
return	void

countChapterRefs() public method

Part of the list interface for ChapterRefs

public countChapterRefs ( ) : int
return	int

countChapters() public method

Part of the list interface for Chapters

public countChapters ( ) : int
return	int

deleteChapterRefs() public method

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
return	void

deleteChapterRefs() public method

public deleteChapterRefs ( int idx, Lock aLock ) : void
idx	int
aLock	Lock
return	void

deleteChapters() public method

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
return	void

deleteChapters() public method

public deleteChapters ( int idx, Lock aLock ) : void
idx	int
aLock	Lock
return	void

dispatch() public method

public dispatch ( XmlBooster.XmlBBaseVisitor v ) : void
v	XmlBooster.XmlBBaseVisitor
return	void

dispatch() public method

public dispatch ( XmlBooster.XmlBBaseVisitor v, bool visitSubNodes ) : void
v	XmlBooster.XmlBBaseVisitor
visitSubNodes	bool
return	void

find() public method

public find ( Object search ) : bool
search	Object
return	bool

getChapterRefs() public method

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
return	ChapterRef

getChapters() public method

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
return	Chapter

getVersion() public method

public getVersion ( ) : string
return	string

indexOfChapterRefs() public method

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
return	int

indexOfChapters() public method

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
return	int

insertChapterRefs() public method

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
return	void

insertChapterRefs() public method

public insertChapterRefs ( int idx, ChapterRef el, Lock aLock ) : void
idx	int
el	ChapterRef
aLock	Lock
return	void

insertChapters() public method

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
return	void

insertChapters() public method

public insertChapters ( int idx, Chapter el, Lock aLock ) : void
idx	int
el	Chapter
aLock	Lock
return	void

parse() public method

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
return	void

parseBody() public method

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
return	void

removeChapterRefs() public method

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
return	void

removeChapterRefs() public method

public removeChapterRefs ( IXmlBBase obj, Lock aLock ) : void
obj	IXmlBBase
aLock	Lock
return	void

removeChapters() public method

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
return	void

removeChapters() public method

public removeChapters ( IXmlBBase obj, Lock aLock ) : void
obj	IXmlBBase
aLock	Lock
return	void

setAllChapterRefs() public method

public setAllChapterRefs ( Lock aLock, System coll ) : void
aLock	Lock
coll	System
return	void

setAllChapterRefs() public method

Part of the list interface for ChapterRefs

public setAllChapterRefs ( System coll ) : void
coll	System	a collection of elements which replaces /// ChapterRefs's current content.
return	void

setAllChapters() public method

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

setAllChapters() public method

Part of the list interface for Chapters

public setAllChapters ( System coll ) : void
coll	System	a collection of elements which replaces /// Chapters's current content.
return	void

setVersion() public method

public setVersion ( string v ) : void
v	string
return	void

subElements() public method

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
return	void

unParse() public method

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
return	void

unParseBody() public method

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
return	void