core

Type Members

1. trait Arg extends AnyRef

   

2. trait Base extends AnyRef

   

   base variable

3. trait Call extends AnyRef

   

4. trait Chars extends AnyRef

   

   Contains constants and classifier methods for characters

5. class ClassHierarchy extends JavaKnowledge

   

6. class ClassLoadManager extends AnyRef

   

7. class DefaultReporter extends ReporterImpl

   

8. class DefaultScopeManager extends ScopeManager

   

9. trait Dynamic extends AnyRef

   

10. trait Entry extends AnyRef

    

11. trait Exit extends AnyRef

    

12. case class FatalError(msg: String) extends Exception with Product with Serializable

    

13. trait Field extends AnyRef

    

    field variable

14. case class FieldFQN(owner: JawaType, fieldName: String, typ: JawaType) extends JavaKnowledge with Product with Serializable

    

15. class FileReporter extends ReporterImpl

    

16. class Global extends JawaClassLoadManager with JawaClasspathManager

    

17. case class InheritanceError(msg: String) extends Exception with Product with Serializable

    

18. case class InvalidTypeException(msg: String) extends RuntimeException with Product with Serializable

    

19. trait Invoke extends AnyRef

    

20. trait JavaKnowledge extends AnyRef

    

21. final case class JawaBaseType(pkg: Option[JawaPackage], name: String, unknown: Boolean = false) extends Product with Serializable

    

22. case class JawaClass(global: Global, typ: JawaType, accessFlags: Int) extends JawaElement with JavaKnowledge with ResolveLevel with Product with Serializable

    

    This class is an jawa class representation of a jawa record.

    This class is an jawa class representation of a jawa record. A JawaClass corresponds to a class or an interface of the source code. They are usually created by jawa Resolver. You can also construct it manually.

    global

    interactive compiler of this class

    typ

    object type of this class

    accessFlags

    the access flags integer representation for this class

23. trait JawaClassLoadManager extends JavaKnowledge with JawaResolver

    

24. trait JawaClasspathManager extends JavaKnowledge

    

25. trait JawaElement extends PropertyProvider

    

26. case class JawaField(declaringClass: JawaClass, name: String, typ: JawaType, accessFlags: Int) extends JawaElement with JavaKnowledge with Product with Serializable

    

    This class is an jawa representation of a jawa field.

    This class is an jawa representation of a jawa field. It should belong to a JawaClass.

    declaringClass

    The declaring class of this field

    name

    name of the field. e.g. stackState

    typ

    JawaType of the field

    accessFlags

    access flags of this field

27. case class JawaMethod(declaringClass: JawaClass, name: String, thisOpt: Option[String], params: ISeq[(String, JawaType)], returnType: JawaType, accessFlags: Int) extends JawaElement with JavaKnowledge with ResolveLevel with Product with Serializable

    

    This class is an jawa representation of a jawa method.

    This class is an jawa representation of a jawa method. It can belong to JawaClass. You can also construct it manually.

    declaringClass

    The declaring class of this method

    name

    name of the method. e.g. stackState

    thisOpt

    this param of the method, if the method is static or native it is None

    params

    List of param name with its type of the method

    returnType

    return type of the method

    accessFlags

    access flags of this field

28. case class JawaPackage(name: String, parent: Option[JawaPackage]) extends JavaKnowledge with Product with Serializable

    

29. trait JawaResolver extends JavaKnowledge

    

    this object collects info from the symbol table and builds Center, JawaClass, and JawaMethod

30. case class JawaResolverError(msg: String) extends Exception with Product with Serializable

    

31. case class JawaType(baseType: JawaBaseType, dimensions: Int) extends JavaKnowledge with Product with Serializable

    

32. trait Left extends AnyRef

    

    Set of program points corresponding to l-value expressions.

    Set of program points corresponding to l-value expressions. pl represents an element in this set.

33. trait LibraryAPISummary extends AnyRef

    

34. trait Loc extends AnyRef

    

    have location and index

35. trait Method extends AnyRef

    

36. class MethodBody extends ProcedureSymbolTable with ProcedureSymbolTableProducer

    

37. case class MethodInvisibleException(detailMessage: String) extends RuntimeException with Product with Serializable

    

38. trait MyArray extends AnyRef

    

    array

39. case class MyClass(accessFlag: Int, typ: JawaType, superType: Option[JawaType], interfaces: IList[JawaType], outerType: Option[JawaType] = None, fields: IList[MyField] = ilistEmpty, methods: IList[MyMethod] = ilistEmpty) extends Product with Serializable

    

40. case class MyField(accessFlag: Int, FQN: FieldFQN) extends Product with Serializable

    

41. case class MyMethod(accessFlag: Int, signature: Signature, params: IList[String] = ilistEmpty, body: Option[MethodBody] = None) extends Product with Serializable

    

42. trait NewObj extends AnyRef

    

    object creation

43. class NoReporter extends ReporterImpl

    

44. trait Param extends AnyRef

    

45. abstract class Point extends AnyRef

    

46. final case class PointArgCall(argName: String, index: Int, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with Arg with Call with Product with Serializable

    

    Set of program points corresponding to method arg variable.

    Set of program points corresponding to method arg variable. pi represents an element in this set.

47. final case class PointArgReturn(argName: String, index: Int, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with Arg with Return with Product with Serializable

    

    Set of program points corresponding to method arg variable.

    Set of program points corresponding to method arg variable. pi represents an element in this set.

48. final case class PointAsmt(lhs: Point with Left, rhs: Point with Right, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Product with Serializable

    

    Set of program points corresponding to assignment expression.

49. final case class PointBaseL(baseName: String, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Left with Base with Product with Serializable

    

    Set of program points corresponding to base part of field access expressions in the LHS.

50. final case class PointBaseR(baseName: String, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with Base with Product with Serializable

    

    Set of program points corresponding to base part of field access expressions in the RHS.

51. final case class PointCall(lhsOpt: Option[Point with Left], rhs: Point with Right, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Product with Serializable

    

    Set of program points corresponding to call expression

52. final case class PointCastR(casttyp: JawaType, varname: String, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with Product with Serializable

    

    Set of program points corresponding to const class value.

53. final case class PointClassO(obj: JawaType, classtyp: JawaType, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with NewObj with Product with Serializable

    

    Set of program points corresponding to const class value.

54. final case class PointExceptionR(typ: JawaType, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with Product with Serializable

    

    Set of program points corresponding to length.

55. final case class PointFieldL(baseP: PointBaseL, fqn: FieldFQN, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Left with Field with Product with Serializable

    

    Set of program points corresponding to l-value field access expressions.

56. final case class PointFieldR(baseP: PointBaseR, fqn: FieldFQN, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with Field with Product with Serializable

    

    Set of program points corresponding to R-value field access expressions.

57. final case class PointI(sig: Signature, invokeTyp: String, retTyp: JawaType, recvPCall: PointRecvCall, recvPReturn: PointRecvReturn, argPsCall: IMap[Int, PointArgCall], argPsReturn: IMap[Int, PointArgReturn], loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with Invoke with Dynamic with Product with Serializable

    

    Set of program points corresponding to method invocation expressions.

    Set of program points corresponding to method invocation expressions. pi represents an element in this set.

58. final case class PointInstanceOfR(varname: String, typ: JawaType, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with Product with Serializable

    

    Set of program points corresponding to length.

59. final case class PointL(varname: String, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Left with Product with Serializable

    

    Set of program points corresponding to l-value.

60. final case class PointLengthR(varname: String, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with Product with Serializable

    

    Set of program points corresponding to length.

61. final case class PointMethod(methodSig: Signature, accessTyp: String, thisPEntry: PointThisEntry, thisPExit: PointThisExit, paramPsEntry: IMap[Int, PointParamEntry], paramPsExit: IMap[Int, PointParamExit], retVar: Option[PointMethodRet], ownerSig: Signature) extends Point with Method with Virtual with Product with Serializable

    

    Set of program points corresponding to methods.

62. final case class PointMethodRet(ownerSig: Signature) extends Point with Product with Serializable

    

    Set of program points corresponding to return variable (fake one).

63. final case class PointMyArrayL(arrayname: String, dimensions: Int, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Left with MyArray with Product with Serializable

    

    Set of program points corresponding to l-value array variable.

64. final case class PointMyArrayR(arrayname: String, dimensions: Int, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with MyArray with Product with Serializable

    

    Set of program points corresponding to R-value array variable.

65. final case class PointO(obj: JawaType, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with NewObj with Product with Serializable

    

    Set of program points corresponding to object creating expressions.

    Set of program points corresponding to object creating expressions. An object creating program point abstracts all the objects created at that particular program point.

66. final case class PointParamEntry(paramName: String, paramTyp: JawaType, index: Int, ownerSig: Signature) extends Point with Param with Entry with Product with Serializable

    

    Set of program points corresponding to params.

67. final case class PointParamExit(paramName: String, paramTyp: JawaType, index: Int, ownerSig: Signature) extends Point with Param with Exit with Product with Serializable

    

    Set of program points corresponding to params.

68. final case class PointR(varname: String, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with Product with Serializable

    

    Set of program points corresponding to r-value.

69. final case class PointRecvCall(argName: String, index: Int, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with Arg with Call with Product with Serializable

    

    Set of program points corresponding to method recv variable.

    Set of program points corresponding to method recv variable. pi represents an element in this set.

70. final case class PointRecvReturn(argName: String, index: Int, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with Arg with Return with Product with Serializable

    

    Set of program points corresponding to method recv variable.

    Set of program points corresponding to method recv variable. pi represents an element in this set.

71. final case class PointRet(retname: String, procPoint: Point with Method, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Product with Serializable

    

    Set of program points corresponding to return variable.

72. final case class PointStaticFieldL(staticFieldFQN: FieldFQN, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Left with Static_Field with Product with Serializable

    

    Set of program points corresponding to l-value static field variable.

73. final case class PointStaticFieldMyArrayL(staticFieldFQN: FieldFQN, dimensions: Int, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Left with Static_Field with MyArray with Product with Serializable

    

    Set of program points corresponding to l-value static field array variable.

74. final case class PointStaticFieldMyArrayR(staticFieldFQN: FieldFQN, dimensions: Int, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with Static_Field with MyArray with Product with Serializable

    

    Set of program points corresponding to R-value static field array variable.

75. final case class PointStaticFieldR(staticFieldFQN: FieldFQN, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with Static_Field with Product with Serializable

    

    Set of program points corresponding to R-value static field variable.

76. final case class PointStaticI(sig: Signature, invokeTyp: String, retTyp: JawaType, argPsCall: IMap[Int, PointArgCall], argPsReturn: IMap[Int, PointArgReturn], loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with Invoke with Product with Serializable

    

    Set of program points corresponding to static method invocation expressions.

    Set of program points corresponding to static method invocation expressions. pi represents an element in this set.

77. final case class PointStaticMethod(methodSig: Signature, accessTyp: String, paramPsEntry: IMap[Int, PointParamEntry], paramPsExit: IMap[Int, PointParamExit], retVar: Option[PointMethodRet], ownerSig: Signature) extends Point with Method with Product with Serializable

    

    Set of program points corresponding to static methods.

78. final case class PointStringO(obj: JawaType, text: String, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with NewObj with Product with Serializable

    

    Set of program points corresponding to string object creating expressions.

    Set of program points corresponding to string object creating expressions. An string object creating program point abstracts all the objects created at that particular program point.

79. final case class PointThisEntry(paramName: String, paramTyp: JawaType, ownerSig: Signature) extends Point with Param with Entry with Product with Serializable

    

    Set of program points corresponding to this variable .

80. final case class PointThisExit(paramName: String, paramTyp: JawaType, ownerSig: Signature) extends Point with Param with Exit with Product with Serializable

    

    Set of program points corresponding to this variable .

81. class PointsCollector extends AnyRef

    

82. class PrintReporter extends ReporterImpl

    

83. case class Problem(pos: Position, msg: String, sev: Int) extends Product with Serializable

    

84. case class Problem1(title: String, msg: String, sev: Int) extends Product with Serializable

    

85. trait Reporter extends AnyRef

    

    Report information, warnings and errors.

    Report information, warnings and errors.

    This describes the (future) external interface for issuing information, warnings and errors.

86. trait ReporterImpl extends Reporter

    

87. trait ResolveLevel extends AnyRef

    

88. trait Return extends AnyRef

    

89. trait Right extends AnyRef

    

    Set of program points corresponding to r-value expressions.

    Set of program points corresponding to r-value expressions. This also include expressions which evaluate to void. pr represents an element in this set. Pr=P\Pl

90. trait ScopeManager extends AnyRef

    

91. case class Signature(classTyp: JawaType, methodName: String, proto: String) extends JavaKnowledge with Product with Serializable

    

    This class providing all helper methods for signature e.g., Ljava/lang/Object;.equals:(Ljava/lang/Object;)Z

92. trait Static_Field extends AnyRef

    

    static variable

93. trait Virtual extends AnyRef