Names (Averest)

Names Module

Namespace: Averest.Core
Assembly: Averest.dll

Types

Type	Description
Index
QName	The datatype QName implements qualified identifiers with explicit genealogy of an identifier. See Names.sig for more information.

Functions and values

Function or value	Description
`AssertIndex` Full Usage: `AssertIndex` Returns: `int`	Returns: `int`
`AssumeIndex` Full Usage: `AssumeIndex` Returns: `int`	Returns: `int`
`AuxIndex` Full Usage: `AuxIndex` Returns: `int`	Returns: `int`
`IndexOfName s` Full Usage: `IndexOfName s` Parameters: s : `string` Returns: `Index`	s : `string` Returns: `Index`
`InsertName s` Full Usage: `InsertName s` Parameters: s : `string` Returns: `Index`	s : `string` Returns: `Index`
`InstanceIndex` Full Usage: `InstanceIndex` Returns: `int`	Returns: `int`
`LabelIndex` Full Usage: `LabelIndex` Returns: `int`	Returns: `int`
`LocalVarIndex` Full Usage: `LocalVarIndex` Returns: `int`	Returns: `int`
`NameOfIndex j` Full Usage: `NameOfIndex j` Parameters: j : `Index` Returns: `string`	determine name of index index name of j j : `Index` Returns: `string`
`NewAssertName ()` Full Usage: `NewAssertName ()` Parameters: () : `unit` Returns: `QName`	() : `unit` Returns: `QName`
`NewAssumeName ()` Full Usage: `NewAssumeName ()` Parameters: () : `unit` Returns: `QName`	() : `unit` Returns: `QName`
`NewAuxName stub` Full Usage: `NewAuxName stub` Parameters: stub : `string` Returns: `QName`	stub : `string` Returns: `QName`
`NewDerivedName st` Full Usage: `NewDerivedName st` Parameters: st : `string` Returns: `QName -> QName`	st : `string` Returns: `QName -> QName`
`NewInstanceName ()` Full Usage: `NewInstanceName ()` Parameters: () : `unit` Returns: `QName`	() : `unit` Returns: `QName`
`NewLabelName ()` Full Usage: `NewLabelName ()` Parameters: () : `unit` Returns: `QName`	() : `unit` Returns: `QName`
`NewLocalName ()` Full Usage: `NewLocalName ()` Parameters: () : `unit` Returns: `QName`	() : `unit` Returns: `QName`
`NewOracleName ()` Full Usage: `NewOracleName ()` Parameters: () : `unit` Returns: `QName`	() : `unit` Returns: `QName`
`NewRteName line` Full Usage: `NewRteName line` Parameters: line : `'a` Returns: `QName`	line : `'a` Returns: `QName`
`NewUniqueName namestub index` Full Usage: `NewUniqueName namestub index` Parameters: namestub : `string` index : `int` Returns: `int * QName`	generate new names for program locations, module calls, oracles (used in non-deterministic expressions, local variables (used in macro expansions), assumptions, assertions, and runtime exceptions. namestub : `string` index : `int` Returns: `int * QName`
`OracleIndex` Full Usage: `OracleIndex` Returns: `int`	Returns: `int`
`PackageOfQName qn` Full Usage: `PackageOfQName qn` Parameters: qn : `QName` Returns: `string`	qn : `QName` Returns: `string`
`PackageQName iL qname` Full Usage: `PackageQName iL qname` Parameters: iL : `Index list` qname : `QName` Returns: `QName`	append the name of a package to a qualified name iL : `Index list` qname : `QName` Returns: `QName`
`PrnName id` Full Usage: `PrnName id` Parameters: id : `Index` Returns: `PrnDrv -> unit`	id : `Index` Returns: `PrnDrv -> unit`
`PrnQName qn` Full Usage: `PrnQName qn` Parameters: qn : `QName` Returns: `PrnDrv -> unit`	qn : `QName` Returns: `PrnDrv -> unit`
`QNameOfPackage pkg i` Full Usage: `QNameOfPackage pkg i` Parameters: pkg : `string` i : `Index` Returns: `QName`	pkg : `string` i : `Index` Returns: `QName`
`RootOfQName qname` Full Usage: `RootOfQName qname` Parameters: qname : `QName` Returns: `Index`	select the root index of a qualified name qname : `QName` Returns: `Index`
`RteIndex` Full Usage: `RteIndex` Returns: `int`	Returns: `int`
`TransIndex` Full Usage: `TransIndex` Returns: `int`	Returns: `int`
`index2NameTable` Full Usage: `index2NameTable` Returns: `Dictionary<Index, string>`	Returns: `Dictionary<Index, string>`
`name2IndexTable` Full Usage: `name2IndexTable` Returns: `Dictionary<string, Index>`	Returns: `Dictionary<string, Index>`
`nameTableEntries` Full Usage: `nameTableEntries` Returns: `int`	Returns: `int`
`prnQName qn` Full Usage: `prnQName qn` Parameters: qn : `QName` Returns: `int -> PrnDrv -> unit`	qn : `QName` Returns: `int -> PrnDrv -> unit`