BasicSymbolTable

edu.vermontstate.mercury.BasicSymbolTable

A simple implementation of the SymbolTable trait that stores symbols in in-memory maps.

Attributes

Graph
Supertypes
trait SymbolTable
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def addSTypes(name: String, p: ComponentRep): Unit
def addStructuredName(name: String, typeRep: Rep, value: String): Unit
def addTypeName(name: String, typeRep: Rep, value: String): Unit
def checkSTypes(name: String): Int
def checkTypes(name: String): Int
def getArraySSize(name: String, id: String): String
def getArraySType(name: String, id: String): String
def getArraySize(name: String): String
def getArrayType(name: String): Rep
def getMStructs: List[String]
def getST(name: String, subName: String): String
def getSType(name: String): Iterable[String]
def getStructuredConstraint(name: String): String
def getStructuredType(name: String): Rep
def getStructuredTypeNames: Iterable[String]
def getStructuredTypeParent(name: String, subName: String): String
def getTypeNames: Iterable[String]
def getTypeRepresentation(name: String): Rep
def getTypeValue(name: String): String