Package tools.refinery.generator

Class ProblemLoader

java.lang.Object

tools.refinery.generator.ProblemLoader

public class ProblemLoader
extends Object

Constructor Summary

Constructors

Constructor	Description
ProblemLoader()

Method Summary

Modifier and Type	Method	Description
ProblemLoader	cancellationToken(CancellationToken cancellationToken)
ProblemLoader	extraPath(String path)
ProblemLoader	extraPath(Path path)
Problem	loadFile(File file)
Problem	loadFile(String filePath)
Problem	loadResource(org.eclipse.emf.ecore.resource.Resource resource)
Problem	loadScopeConstraints(Problem problem, List<String> extraScopes, List<String> overrideScopes)
Problem	loadStream(InputStream inputStream)
Problem	loadStream(InputStream inputStream, org.eclipse.emf.common.util.URI uri)
Problem	loadString(String problemString)
Problem	loadString(String problemString, org.eclipse.emf.common.util.URI uri)
Problem	loadUri(org.eclipse.emf.common.util.URI uri)
void	setFileExtensionProvider(org.eclipse.xtext.resource.FileExtensionProvider fileExtensionProvider)

Methods inherited from class java.lang.Object

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

Constructor Details

ProblemLoader

public ProblemLoader()

Method Details

setFileExtensionProvider

@Inject
public void setFileExtensionProvider(org.eclipse.xtext.resource.FileExtensionProvider fileExtensionProvider)

cancellationToken

public ProblemLoader cancellationToken(CancellationToken cancellationToken)

extraPath

public ProblemLoader extraPath(String path)

extraPath

public ProblemLoader extraPath(Path path)

loadString

public Problem loadString(String problemString,
 org.eclipse.emf.common.util.URI uri)
                   throws IOException

Throws:

IOException

loadString

public Problem loadString(String problemString)
                   throws IOException

Throws:

IOException

loadStream

public Problem loadStream(InputStream inputStream,
 org.eclipse.emf.common.util.URI uri)
                   throws IOException

Throws:

IOException

loadStream

public Problem loadStream(InputStream inputStream)
                   throws IOException

Throws:

IOException

loadFile

public Problem loadFile(File file)
                 throws IOException

Throws:

IOException

loadFile

public Problem loadFile(String filePath)
                 throws IOException

Throws:

IOException

loadUri

public Problem loadUri(org.eclipse.emf.common.util.URI uri)
                throws IOException

Throws:

IOException

loadResource

public Problem loadResource(org.eclipse.emf.ecore.resource.Resource resource)

loadScopeConstraints

public Problem loadScopeConstraints(Problem problem,
 List<String> extraScopes,
 List<String> overrideScopes)
                             throws IOException

Throws:

IOException