de.tla2b.config.TLCValueNode Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of tla2bAST Show documentation

Translator from TLA+ to ProB's AST representation.

The newest version!

package de.tla2b.config;

import de.tla2b.global.TranslationGlobals;
import de.tla2b.types.TLAType;
import tla2sany.semantic.AbortException;
import tla2sany.semantic.NumeralNode;
import tla2sany.st.TreeNode;
import tlc2.value.impl.Value;

public class TLCValueNode extends NumeralNode implements TranslationGlobals {

	private final Value value;
	private final TLAType type;

	public TLCValueNode(ValueObj valObj, TreeNode stn) throws AbortException {
		super("1337", stn);
		this.value = valObj.getValue();
		this.type = valObj.getType();
	}

	public String toString2() {
		return "\n*TLCValueNode: Value: '"
			+ value.toString() + "'";

	}

	public TLAType getType() {
		return type;
	}

	public Value getValue() {
		return value;
	}
}