Package

org.argus.jawa.compiler

parser

Permalink

package parser

Visibility
  1. Public
  2. All

Type Members

  1. case class AccessExpression(varSymbol: VarSymbol, dot: Token, fieldSym: FieldNameSymbol) extends Expression with LHS with RHS with Product with Serializable

    Permalink
  2. case class Annotation(at: Token, annotationID: Token, annotationValueOpt: Option[AnnotationValue]) extends JawaAstNode with Product with Serializable

    Permalink
  3. sealed trait AnnotationValue extends JawaAstNode

    Permalink
  4. case class ArgClause(lparen: Token, varSymbols: IList[(VarSymbol, Option[Token])], rparen: Token) extends JawaAstNode with Product with Serializable

    Permalink
  5. case class AssignmentStatement(lhs: Expression with LHS, assignOP: Token, rhs: Expression with RHS, annotations: IList[Annotation]) extends Statement with Product with Serializable

    Permalink
  6. case class BinaryExpression(left: VarSymbol, op: Token, right: Either[VarSymbol, Token]) extends Expression with RHS with Product with Serializable

    Permalink
  7. sealed trait Body extends ParsableAstNode

    Permalink
  8. case class CallLhs(lhs: VarSymbol, assignOP: Token) extends JawaAstNode with Product with Serializable

    Permalink
  9. case class CallStatement(callToken: Token, lhsOpt: Option[CallLhs], methodNameSymbol: MethodNameSymbol, argClause: ArgClause, annotations: IList[Annotation]) extends Statement with Product with Serializable

    Permalink
  10. case class CastExpression(lparen: Token, typ: Type, rparen: Token, varSym: VarSymbol) extends Expression with RHS with Product with Serializable

    Permalink
  11. case class CatchClause(catchToken: Token, typ: Type, range: CatchRange, goto: Token, targetLocation: LocationSymbol, semi: Token) extends JawaAstNode with Product with Serializable

    Permalink
  12. case class CatchRange(at: Token, lbracket: Token, fromLocation: LocationSymbol, range: Token, toLocation: LocationSymbol, rbracket: Token) extends JawaAstNode with Product with Serializable

    Permalink
  13. case class ClassOrInterfaceDeclaration(dclToken: Token, cityp: TypeDefSymbol, annotations: IList[Annotation], extendsAndImplimentsClausesOpt: Option[ExtendsAndImplimentsClauses], instanceFieldDeclarationBlock: InstanceFieldDeclarationBlock, staticFields: IList[StaticFieldDeclaration], methods: IList[MethodDeclaration]) extends Declaration with ParsableAstNode with Product with Serializable

    Permalink
  14. sealed trait ClassSym extends AnyRef

    Permalink
  15. case class CmpExpression(cmp: Token, lparen: Token, var1Symbol: VarSymbol, comma: Token, var2Symbol: VarSymbol, rparen: Token) extends Expression with RHS with Product with Serializable

    Permalink
  16. case class CompilationUnit(topDecls: IList[ClassOrInterfaceDeclaration], eofToken: Token) extends ParsableAstNode with Product with Serializable

    Permalink
  17. case class ConstClassExpression(const_class: Token, at: Token, typeToken: Token, typExp: TypeExpression) extends Expression with RHS with Product with Serializable

    Permalink
  18. sealed trait Declaration extends JawaAstNode

    Permalink
  19. sealed trait DefSymbol extends JawaSymbol

    Permalink
  20. case class EmptyStatement(annotations: IList[Annotation]) extends Statement with Product with Serializable

    Permalink
  21. case class ExceptionExpression(exception: Token) extends Expression with RHS with Product with Serializable

    Permalink
  22. sealed trait Expression extends JawaAstNode

    Permalink
  23. case class ExtendAndImpliment(parenttyp: TypeSymbol, annotations: IList[Annotation]) extends JawaAstNode with Product with Serializable

    Permalink
  24. case class ExtendsAndImplimentsClauses(extendsAndImplementsToken: Token, parentTyps: IList[(ExtendAndImpliment, Option[Token])]) extends JawaAstNode with Product with Serializable

    Permalink
  25. sealed trait Field extends JawaAstNode

    Permalink
  26. case class FieldDefSymbol(id: Token) extends DefSymbol with FieldSym with Product with Serializable

    Permalink
  27. case class FieldNameSymbol(id: Token) extends RefSymbol with FieldSym with Product with Serializable

    Permalink
  28. sealed trait FieldSym extends AnyRef

    Permalink
  29. case class GotoStatement(goto: Token, targetLocation: LocationSymbol) extends Statement with Product with Serializable

    Permalink
  30. case class IfStatement(ifToken: Token, cond: BinaryExpression, thengoto: (Token, Token), targetLocation: LocationSymbol) extends Statement with Product with Serializable

    Permalink
  31. case class IndexingExpression(varSymbol: VarSymbol, indices: IList[IndexingSuffix]) extends Expression with LHS with RHS with Product with Serializable

    Permalink
  32. case class IndexingSuffix(lbracket: Token, index: Either[VarSymbol, Token], rbracket: Token) extends JawaAstNode with Product with Serializable

    Permalink
  33. case class InstanceFieldDeclaration(typ: Type, fieldSymbol: FieldDefSymbol, annotations: IList[Annotation], semi: Token) extends Field with Declaration with Product with Serializable

    Permalink
  34. case class InstanceFieldDeclarationBlock(lbrace: Token, instanceFields: IList[InstanceFieldDeclaration], rbrace: Token) extends JawaAstNode with Product with Serializable

    Permalink
  35. case class InstanceofExpression(instanceof: Token, at1: Token, variable: Token, varSymbol: VarSymbol, at2: Token, typeToken: Token, typExp: TypeExpression) extends Expression with RHS with Product with Serializable

    Permalink
  36. sealed trait JawaAstNode extends CaseClassReflector with JavaKnowledge

    Permalink

  37. class JawaParser extends JavaKnowledge

    Permalink
  38. class JawaParserException extends RuntimeException

    Permalink
  39. sealed trait JawaSymbol extends JawaAstNode

    Permalink
  40. sealed trait LHS extends AnyRef

    Permalink
  41. case class LengthExpression(length: Token, at: Token, variable: Token, varSymbol: VarSymbol) extends Expression with RHS with Product with Serializable

    Permalink
  42. case class LiteralExpression(constant: Token) extends Expression with RHS with Product with Serializable

    Permalink
  43. case class LocalVarDeclaration(typOpt: Option[Type], varSymbol: VarDefSymbol, semi: Token) extends Declaration with Product with Serializable

    Permalink
  44. case class Location(locationSymbol: LocationDefSymbol, statement: Statement, semiOpt: Option[Token]) extends ParsableAstNode with Product with Serializable

    Permalink
  45. case class LocationDefSymbol(id: Token) extends DefSymbol with LocationSym with Product with Serializable

    Permalink

    LocationSymbol is following form: #L00001.

    LocationSymbol is following form: #L00001. or just #

  46. sealed trait LocationSym extends AnyRef

    Permalink
  47. case class LocationSymbol(id: Token) extends RefSymbol with LocationSym with Product with Serializable

    Permalink

    JumpLocationSymbol is following form: L00001

  48. case class MethodDeclaration(dclToken: Token, returnType: Type, methodSymbol: MethodDefSymbol, paramClause: ParamClause, annotations: IList[Annotation], body: Body) extends Declaration with ParsableAstNode with Product with Serializable

    Permalink
  49. case class MethodDefSymbol(id: Token) extends DefSymbol with MethodSym with Product with Serializable

    Permalink
  50. case class MethodNameSymbol(id: Token) extends RefSymbol with MethodSym with Product with Serializable

    Permalink
  51. sealed trait MethodSym extends AnyRef

    Permalink
  52. case class MonitorStatement(at: Token, monitor: Token, varSymbol: VarSymbol) extends Statement with Product with Serializable

    Permalink
  53. case class NameExpression(varSymbol: Either[VarSymbol, FieldNameSymbol]) extends Expression with LHS with RHS with Product with Serializable

    Permalink
  54. case class NewExpression(newToken: Token, base: Either[TypeSymbol, Token], typeFragmentsWithInit: IList[TypeFragmentWithInit]) extends Expression with RHS with Product with Serializable

    Permalink
  55. case class NullExpression(nul: Token) extends Expression with RHS with Product with Serializable

    Permalink
  56. case class Param(typ: Type, paramSymbol: VarDefSymbol, annotations: IList[Annotation]) extends JawaAstNode with Product with Serializable

    Permalink
  57. case class ParamClause(lparen: Token, params: IList[(Param, Option[Token])], rparen: Token) extends JawaAstNode with Product with Serializable

    Permalink
  58. sealed trait ParsableAstNode extends JawaAstNode

    Permalink
  59. sealed trait RHS extends AnyRef

    Permalink
  60. sealed trait RefSymbol extends JawaSymbol

    Permalink
  61. case class ResolvedBody(lbrace: Token, locals: IList[LocalVarDeclaration], locations: IList[Location], catchClauses: IList[CatchClause], rbrace: Token) extends Body with Product with Serializable

    Permalink
  62. case class ReturnStatement(returnToken: Token, varOpt: Option[VarSymbol], annotations: IList[Annotation]) extends Statement with Product with Serializable

    Permalink
  63. case class SignatureSymbol(id: Token) extends RefSymbol with MethodSym with Product with Serializable

    Permalink
  64. sealed trait Statement extends JawaAstNode

    Permalink
  65. case class StaticFieldDeclaration(staticFieldToken: Token, typ: Type, fieldSymbol: FieldDefSymbol, annotations: IList[Annotation], semi: Token) extends Field with Declaration with Product with Serializable

    Permalink
  66. case class SwitchCase(bar: Token, constant: Token, arrow: Token, goto: Token, targetLocation: LocationSymbol) extends JawaAstNode with Product with Serializable

    Permalink
  67. case class SwitchDefaultCase(bar: Token, elseToken: Token, arrow: Token, goto: Token, targetLocation: LocationSymbol) extends JawaAstNode with Product with Serializable

    Permalink
  68. case class SwitchStatement(switchToken: Token, condition: VarSymbol, cases: IList[SwitchCase], defaultCaseOpt: Option[SwitchDefaultCase]) extends Statement with Product with Serializable

    Permalink
  69. case class SymbolValue(sym: JawaSymbol) extends AnnotationValue with Product with Serializable

    Permalink
  70. case class ThrowStatement(throwToken: Token, varSymbol: VarSymbol) extends Statement with Product with Serializable

    Permalink
  71. case class TokenValue(token: Token) extends AnnotationValue with Product with Serializable

    Permalink
  72. case class TupleExpression(lparen: Token, constants: IList[(Token, Option[Token])], rparen: Token) extends Expression with RHS with Product with Serializable

    Permalink
  73. case class Type(base: Either[TypeSymbol, Token], typeFragments: IList[TypeFragment]) extends JawaAstNode with Product with Serializable

    Permalink
  74. case class TypeDefSymbol(id: Token) extends DefSymbol with ClassSym with Product with Serializable

    Permalink
  75. case class TypeExpression(hat: Token, typ_: Type) extends JawaAstNode with Product with Serializable

    Permalink
  76. case class TypeExpressionValue(typExp: TypeExpression) extends AnnotationValue with Product with Serializable

    Permalink
  77. case class TypeFragment(lbracket: Token, rbracket: Token) extends JawaAstNode with Product with Serializable

    Permalink
  78. case class TypeFragmentWithInit(lbracket: Token, varSymbols: IList[(VarSymbol, Option[Token])], rbracket: Token) extends JawaAstNode with Product with Serializable

    Permalink
  79. case class TypeSymbol(id: Token) extends RefSymbol with ClassSym with Product with Serializable

    Permalink
  80. case class UnaryExpression(op: Token, unary: VarSymbol) extends Expression with RHS with Product with Serializable

    Permalink
  81. case class UnresolvedBody(bodytokens: IList[Token]) extends Body with Product with Serializable

    Permalink
  82. case class VarDefSymbol(id: Token) extends DefSymbol with VarSym with Product with Serializable

    Permalink
  83. sealed trait VarSym extends AnyRef

    Permalink
  84. case class VarSymbol(id: Token) extends RefSymbol with VarSym with Product with Serializable

    Permalink

Value Members

  1. object JawaParser

    Permalink

Ungrouped