de.tla2bAst.SimpleResolver 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

package de.tla2bAst;

import java.io.File;

import util.FilenameToStream;

public class SimpleResolver implements FilenameToStream {
	
	private File file;

	public boolean isStandardModule(String arg0) {
		return false;
	}

	public File resolve(String arg0, boolean arg1) {

		file = new File(arg0);
		return file;
	}

	public String getFullPath() {
		return file.getAbsolutePath();
	}

}