ua.gradsoft.javachecker.models
Class JavaCompilationUnitModel

java.lang.Object
  ua.gradsoft.javachecker.models.JavaUnitModel
      ua.gradsoft.javachecker.models.JavaCompilationUnitModel

public class JavaCompilationUnitModel
extends JavaUnitModel

Author:

Ruslan Shevchenko

Nested Class Summary

static class	JavaCompilationUnitModel.ClassImportSuffix class import can consists not only from package name and imported class, but from package name and some sequences of classes, which are enclosing for imported.
static class	JavaCompilationUnitModel.PackageOrClassModelHolder

Constructor Summary

JavaCompilationUnitModel(java.lang.String fname)

Method Summary

void	addImportDeclaration(Term t)
void	addTypeModel(JavaTypeModel typeModel)
java.util.Map<java.lang.String,JavaCompilationUnitModel.ClassImportSuffix>	getClassImports()
JavaPackageModel	getPackageModel()
java.lang.String	getPackageName()
java.util.Map<java.lang.String,JavaCompilationUnitModel.PackageOrClassModelHolder>	getPackageOrClassImports()
java.util.Set<java.lang.String>	getStaticClassImports()
java.util.Map<java.lang.String,java.lang.String>	getStaticMemberImports()
java.util.List<JavaTypeModel>	getTypeModels() return list of type models, defined in this compilation units.
void	setPackageModel(JavaPackageModel packageModel)

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaCompilationUnitModel

public JavaCompilationUnitModel(java.lang.String fname)

Method Detail

getPackageModel

public JavaPackageModel getPackageModel()

getPackageName

public java.lang.String getPackageName()

Specified by:

getPackageName in class JavaUnitModel

setPackageModel

public void setPackageModel(JavaPackageModel packageModel)

addImportDeclaration

public void addImportDeclaration(Term t)
                          throws TermWareException

Throws:

TermWareException

getStaticMemberImports

public java.util.Map<java.lang.String,java.lang.String> getStaticMemberImports()

Returns:

map of static imports. key is method name, value is full import class names. i.e. (PI, java.lang.Math)

getStaticClassImports

public java.util.Set<java.lang.String> getStaticClassImports()

Returns:

set of static class imports. values are full names of class.

getClassImports

public java.util.Map<java.lang.String,JavaCompilationUnitModel.ClassImportSuffix> getClassImports()

Returns:

map of class imports. key is name of class, value is package name.

getPackageOrClassImports

public java.util.Map<java.lang.String,JavaCompilationUnitModel.PackageOrClassModelHolder> getPackageOrClassImports()

Returns:

set of package imports.

getTypeModels

public java.util.List<JavaTypeModel> getTypeModels()

return list of type models, defined in this compilation units. (note, that nested types are included in enclosed type)

Specified by:

getTypeModels in class JavaUnitModel

addTypeModel

public void addTypeModel(JavaTypeModel typeModel)