Package eu.bandm.tools.ramus.runtime2

Class State

java.lang.Object

eu.bandm.tools.ramus.runtime2.State

All Implemented Interfaces:

Environment

public class State
extends Object
implements Environment

Immutable semantic parsing state for AST construction.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	State.Projection

Field Summary

Fields

Modifier and Type	Field	Description
static final State	initial

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	State(State other)

Method Summary

Modifier and Type	Method	Description
Data	access(Object key)
State	add(Data value)
State	add(Object key, Data value)
State	assign(Object key, Data value)
static State.Projection	assigned(Object key)
Data	get(Object key)
Map<Object,Data>	getTable()
Data	getValue()
State	map(Function<? super Data,? extends Data> op)
State	pop()
<A> A	project(AbstractExpression<?,?,A> expr)
State	push()
State	pushEntries(Map<Object,? extends Data> entries)
State	pushEntry(Object key, Data value)
State	remove(Object key)
State	removeAll(Collection<? extends Object> keys)
String	toString()
static State.Projection	value()
State	withEntries(Map<Object,? extends Data> entries)
State	withEntry(Object key, Data value)
State	withValue(Data value)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

initial

public static final State initial

Constructor Details

State

protected State(State other)

Method Details

withValue

public State withValue(Data value)

map

public State map(Function<? super Data,? extends Data> op)

withEntry

public State withEntry(Object key,
 Data value)

withEntries

public State withEntries(Map<Object,? extends Data> entries)

push

public State push()

pushEntry

public State pushEntry(Object key,
 Data value)

pushEntries

public State pushEntries(Map<Object,? extends Data> entries)

pop

public State pop()

getTable

public Map<Object,Data> getTable()

getValue

public Data getValue()

Specified by:

getValue in interface Environment

assign

public State assign(Object key,
 Data value)

add

public State add(Object key,
 Data value)

add

public State add(Data value)

remove

public State remove(Object key)

removeAll

public State removeAll(Collection<? extends Object> keys)

get

public Data get(Object key)

Specified by:

get in interface Environment

access

public Data access(Object key)

toString

public String toString()

Overrides:

toString in class Object

assigned

public static State.Projection assigned(Object key)

value

public static State.Projection value()

project

public <A> A project(AbstractExpression<?,?,A> expr)