Skip to content
Snippets Groups Projects
Select Git revision
  • 2c156257ac0dde1399f0cf3bb10a895f16368f61
  • master default protected
  • release/1.1.4
  • release/1.1.3
  • release/1.1.1
  • 1.4.2
  • 1.4.1
  • 1.4.0
  • 1.3.0
  • 1.2.1
  • 1.2.0
  • 1.1.5
  • 1.1.4
  • 1.1.3
  • 1.1.1
  • 1.1.0
  • 1.0.9
  • 1.0.8
  • 1.0.7
  • v1.0.5
  • 1.0.5
21 results

SimpleResolver.java

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    SimpleResolver.java 303 B 
    package de.tla2bAst;

import java.io.File;

import util.FilenameToStream;

public class SimpleResolver implements FilenameToStream {

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

	public File resolve(String arg0, boolean arg1) {

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

}