de.tla2b.config.ValueObj 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.

There is a newer version: 1.4.0

/**
 * @author Dominik Hansen 
 **/

package de.tla2b.config;

import de.tla2b.types.TLAType;
import tlc2.value.Value;

public class ValueObj {
	private Value value;
	private TLAType type;

	public ValueObj(Value value, TLAType t) {
		this.value = value;
		this.type = t;
	}

	public Value getValue() {
		return value;
	}

	public void setValue(Value value) {
		this.value = value;
	}

	public void setType(TLAType type) {
		this.type = type;
	}
	
	public TLAType getType(){
		return type;
	}
		
}