ua.gradsoft.javachecker
Class ProxyJavaFacts

java.lang.Object
  ua.gradsoft.termware.DefaultFacts
      ua.gradsoft.javachecker.ProxyJavaFacts

All Implemented Interfaces:

IFacts

public class ProxyJavaFacts
extends DefaultFacts

Proxy facts wich provide facts access to JavaFacts singleton.

Author:

Ruslan Shevchenko

Nested Class Summary

Nested classes/interfaces inherited from class ua.gradsoft.termware.DefaultFacts

DefaultFacts.MethodTransformer

Constructor Summary

ProxyJavaFacts()
Creates a new instance of ProxyJavaFacts

Method Summary

JavaTypeModel	getClassType(java.lang.String fullName)
JavaTypeModel	getFloatingPointLiteralType(java.lang.String literal)
JavaTypeModel	getIntegerLiteralType(java.lang.String literal)
JavaTypeModel	getNullType()
JavaTypeModel	getPrimitiveType(java.lang.String name)
boolean	isCheckEnabled(java.lang.String name)
boolean	notComplex(Term t)
boolean	violationDiscovered(java.lang.String name, java.lang.String message, Term partOfCode)

Methods inherited from class ua.gradsoft.termware.DefaultFacts

check, clearLoggedEntities, getDomainName, getEnv, isLoggingMode, print, println, println, set, setCurrentStopFlag, setEnv, setLoggedEntities, setLoggedEntity, setLoggingMode, unsetLoggedEntity

Methods inherited from class java.lang.Object

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

Constructor Detail

ProxyJavaFacts

public ProxyJavaFacts()
               throws TermWareException

Creates a new instance of ProxyJavaFacts

Throws:

TermWareException

Method Detail

violationDiscovered

public boolean violationDiscovered(java.lang.String name,
                                   java.lang.String message,
                                   Term partOfCode)
                            throws TermWareException

Throws:

TermWareException

notComplex

public boolean notComplex(Term t)

isCheckEnabled

public boolean isCheckEnabled(java.lang.String name)

getPrimitiveType

public JavaTypeModel getPrimitiveType(java.lang.String name)
                               throws TermWareException,
                                      EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

getClassType

public JavaTypeModel getClassType(java.lang.String fullName)
                           throws TermWareException,
                                  EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

getFloatingPointLiteralType

public JavaTypeModel getFloatingPointLiteralType(java.lang.String literal)

getIntegerLiteralType

public JavaTypeModel getIntegerLiteralType(java.lang.String literal)

getNullType

public JavaTypeModel getNullType()