public final class JavaModel
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static JavaModel |
createJavaModel(java.lang.String javaPath,
java.util.List<java.io.File> classPath,
java.io.File bootClassPath,
Includes includes,
java.io.File initialFile) |
java.lang.String |
description() |
boolean |
equals(java.lang.Object o) |
java.lang.String |
getBootClassPath() |
java.lang.String |
getClassPath() |
java.util.List<java.io.File> |
getClassPathEntries() |
java.lang.String |
getIncludedFiles() |
java.io.File |
getInitialFile() |
java.lang.String |
getModelDir() |
java.lang.String |
getModelTag() |
int |
hashCode() |
boolean |
isEmpty() |
java.lang.String |
toString() |
public static final JavaModel NO_MODEL
public static JavaModel createJavaModel(java.lang.String javaPath, java.util.List<java.io.File> classPath, java.io.File bootClassPath, Includes includes, java.io.File initialFile)
public java.lang.String getModelDir()
public java.lang.String getModelTag()
public java.lang.String getClassPath()
public java.util.List<java.io.File> getClassPathEntries()
public java.lang.String getBootClassPath()
public java.lang.String getIncludedFiles()
public java.io.File getInitialFile()
public boolean isEmpty()
public java.lang.String description()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.