C# Class DataDictionary.Generated.Case

Inheritance: DataDictionary.Namable
Show file Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Public Methods

Method Description
Case ( ) : System
NotifyControllers ( Lock aLock ) : void
allPreConditions ( ) : ArrayList

Part of the list interface for PreConditions

appendPreConditions ( Lock aLock, PreCondition el ) : void
appendPreConditions ( PreCondition el ) : void

Part of the list interface for PreConditions

appendPreConditions ( System coll ) : void

Part of the list interface for PreConditions

appendPreConditions ( System coll, Lock aLock ) : void
copyTo ( Case other ) : void
countPreConditions ( ) : int

Part of the list interface for PreConditions

deletePreConditions ( int idx ) : void

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

deletePreConditions ( int idx, Lock aLock ) : void
dispatch ( XmlBooster.XmlBBaseVisitor v ) : void
dispatch ( XmlBooster.XmlBBaseVisitor v, bool visitSubNodes ) : void
find ( Object search ) : bool
getComment ( ) : string
getExpression ( ) : string
getPreConditions ( int idx ) : PreCondition

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

indexOfPreConditions ( IXmlBBase el ) : int

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

insertPreConditions ( int idx, PreCondition el ) : void

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

insertPreConditions ( int idx, PreCondition 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.
removePreConditions ( IXmlBBase obj ) : void

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

removePreConditions ( IXmlBBase obj, Lock aLock ) : void
setAllPreConditions ( Lock aLock, System coll ) : void
setAllPreConditions ( System coll ) : void

Part of the list interface for PreConditions

setComment ( string v ) : void
setExpression ( 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
getPreConditions ( ) : ArrayList

Part of the list interface for PreConditions

Method Details

Case() public method

public Case ( ) : System
return System

NotifyControllers() public method

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

allPreConditions() public method

Part of the list interface for PreConditions
public allPreConditions ( ) : ArrayList
return System.Collections.ArrayList

appendPreConditions() public method

public appendPreConditions ( Lock aLock, PreCondition el ) : void
aLock Lock
el PreCondition
return void

appendPreConditions() public method

Part of the list interface for PreConditions
public appendPreConditions ( PreCondition el ) : void
el PreCondition a PreCondition to add to the collection in /// PreConditions
return void

appendPreConditions() public method

Part of the list interface for PreConditions
public appendPreConditions ( System coll ) : void
coll System a collection ofPreConditions to add to the collection in /// PreConditions
return void

appendPreConditions() public method

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

copyTo() public method

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

countPreConditions() public method

Part of the list interface for PreConditions
public countPreConditions ( ) : int
return int

deletePreConditions() public method

Part of the list interface for PreConditions This deletion function removes an element from the collection in PreConditions
public deletePreConditions ( int idx ) : void
idx int the index of the element to remove
return void

deletePreConditions() public method

public deletePreConditions ( 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

getComment() public method

public getComment ( ) : string
return string

getExpression() public method

public getExpression ( ) : string
return string

getPreConditions() public method

Part of the list interface for PreConditions This function returns an element from the collection in PreConditions based on an index.
public getPreConditions ( int idx ) : PreCondition
idx int the index of the element to extract
return PreCondition

indexOfPreConditions() public method

Part of the list interface for PreConditions This function returns the index of an element in the collection.
public indexOfPreConditions ( IXmlBBase el ) : int
el IXmlBBase the object to look for
return int

insertPreConditions() public method

Part of the list interface for PreConditions This insertion function inserts a new element in the collection in PreConditions
public insertPreConditions ( int idx, PreCondition el ) : void
idx int the index where the insertion must take place
el PreCondition the element to insert
return void

insertPreConditions() public method

public insertPreConditions ( int idx, PreCondition el, Lock aLock ) : void
idx int
el PreCondition
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

removePreConditions() public method

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

removePreConditions() public method

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

setAllPreConditions() public method

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

setAllPreConditions() public method

Part of the list interface for PreConditions
public setAllPreConditions ( System coll ) : void
coll System a collection of elements which replaces /// PreConditions's current content.
return void

setComment() public method

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

setExpression() public method

public setExpression ( 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