C# Class DataDictionary.Types.BoolType

Inheritance: PredefinedType, IEnumerateValues, Utils.ISubDeclarator
Exibir arquivo Open project: ERTMSSolutions/ERTMSFormalSpecs

Public Methods

Method Description
BoolType ( EfsSystem efsSystem ) : System

Constructor

CompareForEquality ( IValue left, IValue right ) : bool
Constants ( string scope, object>.Dictionary retVal ) : void

Provides all constant values for this type

Find ( string name, List retVal ) : void

Appends the INamable which match the name provided in retVal

InitDeclaredElements ( ) : void

Initialises the declared elements

getValue ( string image ) : IValue

Gets a value based on its image

Method Details

BoolType() public method

Constructor
public BoolType ( EfsSystem efsSystem ) : System
efsSystem EfsSystem
return System

CompareForEquality() public method

public CompareForEquality ( IValue left, IValue right ) : bool
left IValue
right IValue
return bool

Constants() public method

Provides all constant values for this type
public Constants ( string scope, object>.Dictionary retVal ) : void
scope string
retVal object>.Dictionary
return void

Find() public method

Appends the INamable which match the name provided in retVal
public Find ( string name, List retVal ) : void
name string
retVal List
return void

InitDeclaredElements() public method

Initialises the declared elements
public InitDeclaredElements ( ) : void
return void

getValue() public method

Gets a value based on its image
public getValue ( string image ) : IValue
image string
return IValue