C# Class DataDictionary.Generated.StateMachine

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

Public Methods

Method Description
NotifyControllers ( Lock aLock ) : void
StateMachine ( ) : System
allRules ( ) : ArrayList

Part of the list interface for Rules

allStates ( ) : ArrayList

Part of the list interface for States

appendRules ( Lock aLock, Rule el ) : void
appendRules ( Rule el ) : void

Part of the list interface for Rules

appendRules ( System coll ) : void

Part of the list interface for Rules

appendRules ( System coll, Lock aLock ) : void
appendStates ( Lock aLock, State el ) : void
appendStates ( State el ) : void

Part of the list interface for States

appendStates ( System coll ) : void

Part of the list interface for States

appendStates ( System coll, Lock aLock ) : void
copyTo ( StateMachine other ) : void
countRules ( ) : int

Part of the list interface for Rules

countStates ( ) : int

Part of the list interface for States

deleteRules ( int idx ) : void

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

deleteRules ( int idx, Lock aLock ) : void
deleteStates ( int idx ) : void

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

deleteStates ( int idx, Lock aLock ) : void
dispatch ( XmlBooster.XmlBBaseVisitor v ) : void
dispatch ( XmlBooster.XmlBBaseVisitor v, bool visitSubNodes ) : void
find ( Object search ) : bool
getInitialState ( ) : string
getRules ( int idx ) : Rule

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

getStates ( int idx ) : State

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

indexOfRules ( IXmlBBase el ) : int

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

indexOfStates ( IXmlBBase el ) : int

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

insertRules ( int idx, Rule el ) : void

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

insertRules ( int idx, Rule el, Lock aLock ) : void
insertStates ( int idx, State el ) : void

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

insertStates ( int idx, State 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.
removeRules ( IXmlBBase obj ) : void

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

removeRules ( IXmlBBase obj, Lock aLock ) : void
removeStates ( IXmlBBase obj ) : void

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

removeStates ( IXmlBBase obj, Lock aLock ) : void
setAllRules ( Lock aLock, System coll ) : void
setAllRules ( System coll ) : void

Part of the list interface for Rules

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

Part of the list interface for States

setInitialState ( 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
getRules ( ) : ArrayList

Part of the list interface for Rules

getStates ( ) : ArrayList

Part of the list interface for States

Method Details

NotifyControllers() public method

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

StateMachine() public method

public StateMachine ( ) : System
return System

allRules() public method

Part of the list interface for Rules
public allRules ( ) : ArrayList
return System.Collections.ArrayList

allStates() public method

Part of the list interface for States
public allStates ( ) : ArrayList
return System.Collections.ArrayList

appendRules() public method

public appendRules ( Lock aLock, Rule el ) : void
aLock Lock
el Rule
return void

appendRules() public method

Part of the list interface for Rules
public appendRules ( Rule el ) : void
el Rule a Rule to add to the collection in /// Rules
return void

appendRules() public method

Part of the list interface for Rules
public appendRules ( System coll ) : void
coll System a collection ofRules to add to the collection in /// Rules
return void

appendRules() public method

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

appendStates() public method

public appendStates ( Lock aLock, State el ) : void
aLock Lock
el State
return void

appendStates() public method

Part of the list interface for States
public appendStates ( State el ) : void
el State a State to add to the collection in /// States
return void

appendStates() public method

Part of the list interface for States
public appendStates ( System coll ) : void
coll System a collection ofStates to add to the collection in /// States
return void

appendStates() public method

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

copyTo() public method

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

countRules() public method

Part of the list interface for Rules
public countRules ( ) : int
return int

countStates() public method

Part of the list interface for States
public countStates ( ) : int
return int

deleteRules() public method

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

deleteRules() public method

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

deleteStates() public method

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

deleteStates() public method

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

getInitialState() public method

public getInitialState ( ) : string
return string

getRules() public method

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

getStates() public method

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

indexOfRules() public method

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

indexOfStates() public method

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

insertRules() public method

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

insertRules() public method

public insertRules ( int idx, Rule el, Lock aLock ) : void
idx int
el Rule
aLock Lock
return void

insertStates() public method

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

insertStates() public method

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

removeRules() public method

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

removeRules() public method

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

removeStates() public method

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

removeStates() public method

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

setAllRules() public method

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

setAllRules() public method

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

setAllStates() public method

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

setAllStates() public method

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

setInitialState() public method

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