Package jetbrains.mps.util.test

Class Checker.Result

java.lang.Object

jetbrains.mps.util.test.Checker.Result

Enclosing interface:

Checker

public static class Checker.Result
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static Checker.Result	UNSUCCESSFUL

Method Summary

Modifier and Type	Method	Description
static Checker.Result	create(boolean success, String configPath, String systemPath)
String	getConfigPath()
String	getSystemPath()
boolean	isSuccessful()

Methods inherited from class java.lang.Object

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

Field Detail

UNSUCCESSFUL

public static Checker.Result UNSUCCESSFUL

Method Detail

create

public static Checker.Result create(boolean success,
                                    String configPath,
                                    String systemPath)

isSuccessful

public boolean isSuccessful()

getConfigPath

public String getConfigPath()

getSystemPath

public String getSystemPath()