2018-09-08 01:12:47 +03:00
|
|
|
// This file was generated by proto-gen. Do not edit by hand.
|
|
|
|
syntax = "proto3";
|
|
|
|
|
|
|
|
package github.semantic.javaterm;
|
|
|
|
|
|
|
|
import "types.proto";
|
|
|
|
|
|
|
|
option java_package = "com.github.semantic.javaterm";
|
|
|
|
option go_package = "github.com/semantic/javaterm;java";
|
|
|
|
|
|
|
|
message JavaTerm {
|
|
|
|
JavaSyntax syntax = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message JavaSyntax {
|
|
|
|
oneof syntax {
|
|
|
|
Comment comment = 1;
|
|
|
|
Class class = 2;
|
|
|
|
InterfaceDeclaration interfaceDeclaration = 3;
|
|
|
|
Method method = 4;
|
|
|
|
VariableDeclaration variableDeclaration = 5;
|
2018-12-20 06:23:28 +03:00
|
|
|
Visibility visibility = 6;
|
|
|
|
Plus plus = 7;
|
|
|
|
Minus minus = 8;
|
|
|
|
Times times = 9;
|
|
|
|
DividedBy dividedBy = 10;
|
|
|
|
Modulo modulo = 11;
|
|
|
|
Power power = 12;
|
|
|
|
Negate negate = 13;
|
|
|
|
FloorDivision floorDivision = 14;
|
|
|
|
Call call = 15;
|
|
|
|
LessThan lessThan = 16;
|
|
|
|
LessThanEqual lessThanEqual = 17;
|
|
|
|
GreaterThan greaterThan = 18;
|
|
|
|
GreaterThanEqual greaterThanEqual = 19;
|
|
|
|
Equal equal = 20;
|
|
|
|
StrictEqual strictEqual = 21;
|
|
|
|
Comparison comparison = 22;
|
|
|
|
BOr bOr = 23;
|
|
|
|
BXOr bXOr = 24;
|
|
|
|
BAnd bAnd = 25;
|
|
|
|
LShift lShift = 26;
|
|
|
|
RShift rShift = 27;
|
|
|
|
UnsignedRShift unsignedRShift = 28;
|
|
|
|
Complement complement = 29;
|
|
|
|
And and = 30;
|
|
|
|
Not not = 31;
|
|
|
|
Or or = 32;
|
|
|
|
XOr xOr = 33;
|
|
|
|
InstanceOf instanceOf = 34;
|
|
|
|
MemberAccess memberAccess = 35;
|
|
|
|
Subscript subscript = 36;
|
|
|
|
Member member = 37;
|
|
|
|
Super super = 38;
|
|
|
|
This this = 39;
|
|
|
|
AnnotatedType annotatedType = 40;
|
|
|
|
JavaAnnotation javaAnnotation = 41;
|
|
|
|
AnnotationField annotationField = 42;
|
|
|
|
AnnotationTypeElement annotationTypeElement = 43;
|
|
|
|
ArrayCreationExpression arrayCreationExpression = 44;
|
|
|
|
AssertStatement assertStatement = 45;
|
|
|
|
Asterisk asterisk = 46;
|
|
|
|
CatchType catchType = 47;
|
|
|
|
Constructor constructor = 48;
|
|
|
|
ClassBody classBody = 49;
|
|
|
|
ClassLiteral classLiteral = 50;
|
|
|
|
DefaultValue defaultValue = 51;
|
|
|
|
DimsExpr dimsExpr = 52;
|
|
|
|
EnumDeclaration enumDeclaration = 53;
|
|
|
|
GenericType genericType = 54;
|
|
|
|
Import import = 55;
|
|
|
|
Lambda lambda = 56;
|
|
|
|
LambdaBody lambdaBody = 57;
|
|
|
|
MethodReference methodReference = 58;
|
|
|
|
Module module = 59;
|
|
|
|
New new = 60;
|
|
|
|
NewKeyword newKeyword = 61;
|
|
|
|
Package package = 62;
|
|
|
|
SpreadParameter spreadParameter = 63;
|
|
|
|
StaticInitializer staticInitializer = 64;
|
|
|
|
Synchronized synchronized = 65;
|
|
|
|
TryWithResources tryWithResources = 66;
|
|
|
|
TypeParameter typeParameter = 67;
|
|
|
|
TypeWithModifiers typeWithModifiers = 68;
|
|
|
|
Variable variable = 69;
|
|
|
|
Wildcard wildcard = 70;
|
|
|
|
WildcardBounds wildcardBounds = 71;
|
|
|
|
Array array = 72;
|
|
|
|
Boolean boolean = 73;
|
|
|
|
Integer integer = 74;
|
|
|
|
Float float = 75;
|
|
|
|
Null null = 76;
|
|
|
|
String string = 77;
|
|
|
|
TextElement textElement = 78;
|
|
|
|
Assignment assignment = 79;
|
|
|
|
Break break = 80;
|
|
|
|
Catch catch = 81;
|
|
|
|
Continue continue = 82;
|
|
|
|
DoWhile doWhile = 83;
|
|
|
|
Finally finally = 84;
|
|
|
|
For for = 85;
|
|
|
|
ForEach forEach = 86;
|
|
|
|
If if = 87;
|
|
|
|
Match match = 88;
|
|
|
|
Pattern pattern = 89;
|
|
|
|
PostIncrement postIncrement = 90;
|
|
|
|
PostDecrement postDecrement = 91;
|
|
|
|
PreIncrement preIncrement = 92;
|
|
|
|
PreDecrement preDecrement = 93;
|
|
|
|
While while = 94;
|
|
|
|
Statements statements = 95;
|
|
|
|
Throw throw = 96;
|
|
|
|
Try try = 97;
|
|
|
|
Context context = 98;
|
|
|
|
Empty empty = 99;
|
|
|
|
Error error = 100;
|
|
|
|
Identifier identifier = 101;
|
|
|
|
AccessibilityModifier accessibilityModifier = 102;
|
|
|
|
TypeArray typeArray = 103;
|
|
|
|
Bool bool = 104;
|
|
|
|
Int int = 105;
|
|
|
|
Void void = 106;
|
|
|
|
TypeFloat typeFloat = 107;
|
|
|
|
Annotation annotation = 108;
|
|
|
|
Return return = 109;
|
|
|
|
List list = 110;
|
2018-09-08 01:12:47 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
message Comment {
|
|
|
|
string commentContent = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Class {
|
|
|
|
repeated JavaTerm classContext = 1;
|
|
|
|
JavaTerm classIdentifier = 2;
|
|
|
|
repeated JavaTerm classSuperclasses = 3;
|
|
|
|
JavaTerm classBody = 4;
|
|
|
|
}
|
|
|
|
|
|
|
|
message InterfaceDeclaration {
|
|
|
|
repeated JavaTerm interfaceDeclarationContext = 1;
|
|
|
|
JavaTerm interfaceDeclarationIdentifier = 2;
|
|
|
|
repeated JavaTerm interfaceDeclarationSuperInterfaces = 3;
|
|
|
|
JavaTerm interfaceDeclarationBody = 4;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Method {
|
|
|
|
repeated JavaTerm methodContext = 1;
|
2018-12-20 06:23:28 +03:00
|
|
|
JavaTerm methodVisibility = 2;
|
|
|
|
JavaTerm methodReceiver = 3;
|
|
|
|
JavaTerm methodName = 4;
|
|
|
|
repeated JavaTerm methodParameters = 5;
|
|
|
|
JavaTerm methodBody = 6;
|
2018-09-08 01:12:47 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
message VariableDeclaration {
|
|
|
|
repeated JavaTerm variableDeclarations = 1;
|
|
|
|
}
|
|
|
|
|
2018-12-20 06:23:28 +03:00
|
|
|
message Visibility { }
|
|
|
|
|
2018-09-08 01:12:47 +03:00
|
|
|
message Plus {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Minus {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Times {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message DividedBy {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Modulo {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Power {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Negate {
|
|
|
|
JavaTerm value = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message FloorDivision {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Call {
|
|
|
|
repeated JavaTerm callContext = 1;
|
|
|
|
JavaTerm callFunction = 2;
|
|
|
|
repeated JavaTerm callParams = 3;
|
|
|
|
JavaTerm callBlock = 4;
|
|
|
|
}
|
|
|
|
|
|
|
|
message LessThan {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message LessThanEqual {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message GreaterThan {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message GreaterThanEqual {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Equal {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message StrictEqual {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Comparison {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message BOr {
|
2018-12-11 00:42:33 +03:00
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
2018-09-08 01:12:47 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
message BXOr {
|
2018-12-11 00:42:33 +03:00
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
2018-09-08 01:12:47 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
message BAnd {
|
2018-12-11 00:42:33 +03:00
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
2018-09-08 01:12:47 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
message LShift {
|
2018-12-11 00:42:33 +03:00
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
2018-09-08 01:12:47 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
message RShift {
|
2018-12-11 00:42:33 +03:00
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
2018-09-08 01:12:47 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
message UnsignedRShift {
|
2018-12-11 00:42:33 +03:00
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
2018-09-08 01:12:47 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
message Complement {
|
|
|
|
JavaTerm value = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message And {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Not {
|
|
|
|
JavaTerm value = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Or {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message XOr {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message InstanceOf {
|
|
|
|
JavaTerm instanceOfSubject = 1;
|
|
|
|
JavaTerm instanceOfObject = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message MemberAccess {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
bytes rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Subscript {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
repeated JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Member {
|
|
|
|
JavaTerm lhs = 1;
|
|
|
|
JavaTerm rhs = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Super { }
|
|
|
|
|
|
|
|
message This { }
|
|
|
|
|
|
|
|
message AnnotatedType {
|
|
|
|
repeated JavaTerm annotationes = 1;
|
|
|
|
JavaTerm annotatedType = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message JavaAnnotation {
|
|
|
|
JavaTerm annotationName = 1;
|
|
|
|
repeated JavaTerm annotationField = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message AnnotationField {
|
|
|
|
JavaTerm annotationFieldName = 1;
|
|
|
|
JavaTerm annotationFieldValue = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message AnnotationTypeElement {
|
|
|
|
repeated JavaTerm modifiers = 1;
|
|
|
|
JavaTerm annotationType = 2;
|
|
|
|
JavaTerm identifier = 3;
|
|
|
|
repeated JavaTerm dims = 4;
|
|
|
|
JavaTerm defaultValue = 5;
|
|
|
|
}
|
|
|
|
|
|
|
|
message ArrayCreationExpression {
|
|
|
|
JavaTerm arrayCreationExpressionType = 1;
|
|
|
|
repeated JavaTerm arrayCreationExpressionDims = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message AssertStatement {
|
|
|
|
JavaTerm assertLHS = 1;
|
|
|
|
repeated JavaTerm assertRHS = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Asterisk { }
|
|
|
|
|
|
|
|
message CatchType {
|
|
|
|
repeated JavaTerm types = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Constructor {
|
|
|
|
repeated JavaTerm constructorModifiers = 1;
|
|
|
|
repeated JavaTerm constructorTypeParams = 2;
|
|
|
|
JavaTerm constructorIdentifier = 3;
|
|
|
|
repeated JavaTerm constructorParams = 4;
|
|
|
|
repeated JavaTerm constructorThrows = 5;
|
|
|
|
JavaTerm constructorBody = 6;
|
|
|
|
}
|
|
|
|
|
|
|
|
message ClassBody {
|
|
|
|
repeated JavaTerm classBodyExpression = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message ClassLiteral {
|
|
|
|
JavaTerm classLiteralType = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message DefaultValue {
|
|
|
|
JavaTerm defaultValueElement = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message DimsExpr {
|
|
|
|
repeated JavaTerm dimsExprAnnotation = 1;
|
|
|
|
repeated JavaTerm dimsExprExpression = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message EnumDeclaration {
|
|
|
|
repeated JavaTerm enumDeclarationModifier = 1;
|
|
|
|
JavaTerm enumDeclarationIdentifier = 2;
|
|
|
|
repeated JavaTerm enumDeclarationSuperInterfaces = 3;
|
|
|
|
repeated JavaTerm enumDeclarationConstant = 4;
|
|
|
|
repeated JavaTerm enumDeclarationBody = 5;
|
|
|
|
}
|
|
|
|
|
|
|
|
message GenericType {
|
|
|
|
JavaTerm genericTypeIdentifier = 1;
|
|
|
|
repeated JavaTerm genericTypeArguments = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Import {
|
|
|
|
repeated JavaTerm imports = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Lambda {
|
|
|
|
repeated JavaTerm lambdaParams = 1;
|
|
|
|
JavaTerm lambdaBody = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message LambdaBody {
|
|
|
|
repeated JavaTerm lambdaBodyExpression = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message MethodReference {
|
|
|
|
JavaTerm methodReferenceType = 1;
|
|
|
|
repeated JavaTerm methodReferenceTypeArgs = 2;
|
|
|
|
JavaTerm methodReferenceIdentifier = 3;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Module {
|
|
|
|
JavaTerm moduleIdentifier = 1;
|
|
|
|
repeated JavaTerm moduleStatements = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message New {
|
|
|
|
JavaTerm newType = 1;
|
|
|
|
repeated JavaTerm newArgs = 2;
|
|
|
|
repeated JavaTerm newClassBody = 3;
|
|
|
|
}
|
|
|
|
|
|
|
|
message NewKeyword { }
|
|
|
|
|
|
|
|
message Package {
|
|
|
|
repeated JavaTerm packages = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message SpreadParameter {
|
|
|
|
JavaTerm spreadParameterVariableDeclarator = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message StaticInitializer {
|
|
|
|
JavaTerm staticInitializerBlock = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Synchronized {
|
|
|
|
JavaTerm synchronizedSubject = 1;
|
|
|
|
JavaTerm synchronizedBody = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message TryWithResources {
|
|
|
|
repeated JavaTerm tryResources = 1;
|
|
|
|
JavaTerm tryBody = 2;
|
|
|
|
repeated JavaTerm tryCatch = 3;
|
|
|
|
}
|
|
|
|
|
|
|
|
message TypeParameter {
|
|
|
|
repeated JavaTerm typeParamAnnotation = 1;
|
|
|
|
JavaTerm typeParamIdentifier = 2;
|
|
|
|
repeated JavaTerm typeParamTypeBound = 3;
|
|
|
|
}
|
|
|
|
|
|
|
|
message TypeWithModifiers {
|
|
|
|
repeated JavaTerm types = 1;
|
|
|
|
JavaTerm modifier = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Variable {
|
|
|
|
repeated JavaTerm variableModifiers = 1;
|
|
|
|
JavaTerm variableType = 2;
|
|
|
|
JavaTerm variableName = 3;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Wildcard {
|
|
|
|
repeated JavaTerm wildcardAnnotation = 1;
|
|
|
|
repeated JavaTerm wildcardBounds = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message WildcardBounds {
|
|
|
|
oneof sum {
|
|
|
|
JavaTerm wildcardBoundExtendsType = 1;
|
|
|
|
JavaTerm wildcardBoundSuperType = 2;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
message Array {
|
|
|
|
repeated JavaTerm arrayElements = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Boolean {
|
|
|
|
bool booleanContent = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Integer {
|
|
|
|
string integerContent = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Float {
|
|
|
|
string floatContent = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Null { }
|
|
|
|
|
|
|
|
message String {
|
|
|
|
repeated JavaTerm stringElements = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message TextElement {
|
|
|
|
string textElementContent = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Assignment {
|
|
|
|
repeated JavaTerm assignmentContext = 1;
|
|
|
|
JavaTerm assignmentTarget = 2;
|
|
|
|
JavaTerm assignmentValue = 3;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Break {
|
|
|
|
JavaTerm value = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Catch {
|
|
|
|
JavaTerm catchException = 1;
|
|
|
|
JavaTerm catchBody = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Continue {
|
|
|
|
JavaTerm value = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message DoWhile {
|
|
|
|
JavaTerm doWhileCondition = 1;
|
|
|
|
JavaTerm doWhileBody = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Finally {
|
|
|
|
JavaTerm value = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message For {
|
|
|
|
JavaTerm forBefore = 1;
|
|
|
|
JavaTerm forCondition = 2;
|
|
|
|
JavaTerm forStep = 3;
|
|
|
|
JavaTerm forBody = 4;
|
|
|
|
}
|
|
|
|
|
|
|
|
message ForEach {
|
|
|
|
JavaTerm forEachBinding = 1;
|
|
|
|
JavaTerm forEachSubject = 2;
|
|
|
|
JavaTerm forEachBody = 3;
|
|
|
|
}
|
|
|
|
|
|
|
|
message If {
|
|
|
|
JavaTerm ifCondition = 1;
|
|
|
|
JavaTerm ifThenBody = 2;
|
|
|
|
JavaTerm ifElseBody = 3;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Match {
|
|
|
|
JavaTerm matchSubject = 1;
|
|
|
|
JavaTerm matchPatterns = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Pattern {
|
|
|
|
JavaTerm value = 1;
|
|
|
|
JavaTerm patternBody = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message PostIncrement {
|
|
|
|
JavaTerm value = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message PostDecrement {
|
|
|
|
JavaTerm value = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message PreIncrement {
|
|
|
|
JavaTerm value = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message PreDecrement {
|
|
|
|
JavaTerm value = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message While {
|
|
|
|
JavaTerm whileCondition = 1;
|
|
|
|
JavaTerm whileBody = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Statements {
|
|
|
|
repeated JavaTerm statements = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Throw {
|
|
|
|
JavaTerm value = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Try {
|
|
|
|
JavaTerm tryBody = 1;
|
|
|
|
repeated JavaTerm tryCatch = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Context {
|
|
|
|
repeated JavaTerm contextTerms = 1;
|
|
|
|
JavaTerm contextSubject = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Empty { }
|
|
|
|
|
|
|
|
message Error {
|
|
|
|
repeated ErrorSite errorCallStack = 1;
|
|
|
|
repeated string errorExpected = 2;
|
|
|
|
string errorActual = 3;
|
|
|
|
repeated JavaTerm errorChildren = 4;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Identifier {
|
|
|
|
bytes name = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message AccessibilityModifier {
|
|
|
|
string contents = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message TypeArray {
|
|
|
|
repeated JavaTerm arraySize = 1;
|
|
|
|
JavaTerm arrayElementType = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Bool { }
|
|
|
|
|
|
|
|
message Int { }
|
|
|
|
|
|
|
|
message Void { }
|
|
|
|
|
|
|
|
message TypeFloat { }
|
|
|
|
|
|
|
|
message Annotation {
|
|
|
|
JavaTerm annotationSubject = 1;
|
|
|
|
JavaTerm annotationType = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Return {
|
|
|
|
JavaTerm value = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message List {
|
|
|
|
repeated JavaTerm listContent = 1;
|
|
|
|
}
|