Revision 12
Added by over 8 years ago
trunk/compiler/ooasCompiler/src/org/momut/ooas/ast/expressions/TypeExpression.java | ||
---|---|---|
28 | 28 |
package org.momut.ooas.ast.expressions; |
29 | 29 |
|
30 | 30 |
import org.momut.ooas.ast.IAstVisitor; |
31 |
import org.momut.ooas.ast.types.MetaType; |
|
31 | 32 |
import org.momut.ooas.ast.types.Type; |
32 | 33 |
|
33 | 34 |
/////////////////////////////////////////////// |
... | ... | |
35 | 36 |
/// |
36 | 37 |
public class TypeExpression extends LeafExpression |
37 | 38 |
{ |
39 |
protected Type m_referredType; |
|
40 |
|
|
41 |
public Type referredType() {return m_referredType;} |
|
42 |
// public void setReferredType(Type aType) {m_referredType = aType;} |
|
43 |
|
|
38 | 44 |
public TypeExpression(Type atype, int line, int pos) |
39 | 45 |
{ |
40 | 46 |
super (LeafTypeEnum.type, ExpressionKind.Type, line, pos); |
41 |
m_type = atype; |
|
47 |
m_type = new MetaType(atype); |
|
48 |
m_referredType = atype; |
|
42 | 49 |
} |
43 | 50 |
|
44 | 51 |
public TypeExpression(TypeExpression toCopy) |
45 | 52 |
{ |
46 | 53 |
super (toCopy); |
54 |
m_referredType = toCopy.m_referredType; |
|
47 | 55 |
} |
48 | 56 |
|
49 | 57 |
@Override |
50 |
public /*override*/ Expression Clone()
|
|
58 |
public Expression Clone() |
|
51 | 59 |
{ |
52 | 60 |
return new TypeExpression(this); |
53 | 61 |
} |
54 | 62 |
|
55 |
public /*override*/ void Accept(IAstVisitor visitor) |
|
63 |
@Override |
|
64 |
public void Accept(IAstVisitor visitor) |
|
56 | 65 |
{ |
57 | 66 |
visitor.visit(this); |
58 | 67 |
} |
trunk/compiler/ooasCompiler/src/org/momut/ooas/ast/types/MetaType.java | ||
---|---|---|
1 |
/** |
|
2 |
* |
|
3 |
* OOAS Compiler |
|
4 |
* |
|
5 |
* Copyright 2015, AIT Austrian Institute of Technology. All rights reserved. |
|
6 |
* |
|
7 |
* SEE THE "LICENSE" FILE FOR THE TERMS UNDER WHICH THIS FILE IS PROVIDED. |
|
8 |
* |
|
9 |
* If you modify the file please update the list of contributors below to in- |
|
10 |
* clude your name. Please also stick to the coding convention of using TABs |
|
11 |
* to do the basic (block-level) indentation and spaces for anything after |
|
12 |
* that. (Enable the display of special chars and it should be pretty obvious |
|
13 |
* what this means.) Also, remove all trailing whitespace. |
|
14 |
* |
|
15 |
* Contributors: |
|
16 |
* Willibald Krenn (AIT) |
|
17 |
*/ |
|
18 |
|
|
19 |
|
|
20 |
package org.momut.ooas.ast.types; |
|
21 |
|
|
22 |
import org.momut.ooas.ast.IAstVisitor; |
|
23 |
|
|
24 |
/////////////////////////////////////////////// |
|
25 |
/// Special type: MetaType (type of <Type> construct) |
|
26 |
/// |
|
27 |
public final class MetaType extends Type |
|
28 |
{ |
|
29 |
private final Type m_type; |
|
30 |
|
|
31 |
public Type Type() { return m_type; } |
|
32 |
|
|
33 |
public MetaType(Type aType) |
|
34 |
{ |
|
35 |
super(TypeKind.MetaType, null); |
|
36 |
m_type = aType; |
|
37 |
} |
|
38 |
|
|
39 |
@Override |
|
40 |
public void Accept(IAstVisitor visitor) |
|
41 |
{ |
|
42 |
visitor.visit(this); |
|
43 |
} |
|
44 |
|
|
45 |
@Override |
|
46 |
public String AnonymousName() |
|
47 |
{ |
|
48 |
return "meta_" + m_type.AnonymousName(); |
|
49 |
} |
|
50 |
|
|
51 |
} |
trunk/compiler/ooasCompiler/src/org/momut/ooas/ast/types/OoActionSystemType.java | ||
---|---|---|
161 | 161 |
public int valueCount() { |
162 | 162 |
return m_objects.size() + m_derivedObjects.size() + 1; |
163 | 163 |
} |
164 |
|
|
164 |
|
|
165 | 165 |
} |
trunk/compiler/ooasCompiler/src/org/momut/ooas/ast/types/Type.java | ||
---|---|---|
284 | 284 |
* A cover type of a list must not change the size of the inner type. Mostly what is |
285 | 285 |
* allowed to change is the list length. |
286 | 286 |
*/ |
287 |
Type subtype = listt1.innerType(); |
|
288 |
final boolean castAllowed = TypeEqual(listt1.innerType(), listt2.innerType()) |
|
289 |
|| ( (listt1.innerType().kind() == TypeKind.OoActionSystemType) |
|
290 |
&& (subtype = Type.CoverType(listt1.innerType(), listt2.innerType())) != null); |
|
287 |
final Type innerType1 = listt1.innerType(); |
|
288 |
final Type innerType2 = listt2.innerType(); |
|
289 |
Type resultInner = innerType1; |
|
290 |
final boolean castAllowed = TypeEqual(innerType1, innerType2) |
|
291 |
|| (resultInner = Type.CoverType(innerType1, innerType2)) != null; |
|
291 | 292 |
if (castAllowed){ |
292 | 293 |
final int maxelems = listt1.maxNumberOfElements() > listt2.maxNumberOfElements() |
293 | 294 |
? listt1.maxNumberOfElements() |
294 | 295 |
: listt2.maxNumberOfElements(); |
295 |
return new ListType(subtype, maxelems, null);
|
|
296 |
return new ListType(resultInner, maxelems, null);
|
|
296 | 297 |
} else |
297 | 298 |
return null; |
298 | 299 |
|
... | ... | |
438 | 439 |
return false; |
439 | 440 |
case OoActionSystemType: |
440 | 441 |
return false; |
442 |
case MetaType: |
|
443 |
return Type.FirstTypeLessRange( ((MetaType)type1).Type() , ((MetaType)type2).Type()); |
|
441 | 444 |
case OpaqueType: |
442 | 445 |
assert(false); |
443 | 446 |
return false; |
... | ... | |
494 | 497 |
return true; |
495 | 498 |
case OoActionSystemType: |
496 | 499 |
return type1 == type2; // ref equ. |
500 |
case MetaType: |
|
501 |
return Type.TypeEqualByKind( ((MetaType)type1).Type() , ((MetaType)type2).Type()); |
|
497 | 502 |
case OpaqueType: |
498 | 503 |
assert(false); |
499 | 504 |
return false; |
... | ... | |
569 | 574 |
return true; |
570 | 575 |
case OoActionSystemType: |
571 | 576 |
return type1 == type2; // ref equ. // || Covariance((OoActionSystemType)type1, (OoActionSystemType)type2); |
577 |
case MetaType: |
|
578 |
return Type.TypeEqual( ((MetaType)type1).Type() , ((MetaType)type2).Type()); |
|
572 | 579 |
case OpaqueType: |
573 | 580 |
assert(false); |
574 | 581 |
return false; |
trunk/compiler/ooasCompiler/src/org/momut/ooas/ast/types/TypeKind.java | ||
---|---|---|
35 | 35 |
EnumeratedType(3), |
36 | 36 |
ListType(4), |
37 | 37 |
MapType(5), |
38 |
// QrType(6), // no longer supported
|
|
38 |
MetaType(6),
|
|
39 | 39 |
TupleType(7), |
40 | 40 |
FunctionType(8), |
41 | 41 |
OoActionSystemType(9), |
trunk/compiler/ooasCompiler/src/org/momut/ooas/ast/IAstVisitor.java | ||
---|---|---|
79 | 79 |
import org.momut.ooas.ast.types.IntType; |
80 | 80 |
import org.momut.ooas.ast.types.ListType; |
81 | 81 |
import org.momut.ooas.ast.types.MapType; |
82 |
import org.momut.ooas.ast.types.MetaType; |
|
82 | 83 |
import org.momut.ooas.ast.types.NullType; |
83 | 84 |
import org.momut.ooas.ast.types.OoActionSystemType; |
84 | 85 |
import org.momut.ooas.ast.types.OpaqueType; |
... | ... | |
154 | 155 |
void visit(OpaqueType opaqueType); |
155 | 156 |
void visit(AnyType anyType); |
156 | 157 |
void visit(NullType nullType); |
158 |
void visit(MetaType metaType); |
|
157 | 159 |
|
158 | 160 |
void visit(BreakStatement breakStatement); |
159 | 161 |
} |
trunk/compiler/ooasCompiler/src/org/momut/ooas/codegen/ast/protobuf/gen/FunctionNames.java | ||
---|---|---|
1 |
/** |
|
2 |
* |
|
3 |
* OOAS Compiler |
|
4 |
* |
|
5 |
* Copyright 2015, AIT Austrian Institute of Technology. |
|
6 |
* This code is based on the C# Version of the OOAS Compiler, which is |
|
7 |
* copyright 2015 by the Institute of Software Technology, Graz University |
|
8 |
* of Technology with portions copyright by the AIT Austrian Institute of |
|
9 |
* Technology. All rights reserved. |
|
10 |
* |
|
11 |
* SEE THE "LICENSE" FILE FOR THE TERMS UNDER WHICH THIS FILE IS PROVIDED. |
|
12 |
* |
|
13 |
* If you modify the file please update the list of contributors below to in- |
|
14 |
* clude your name. Please also stick to the coding convention of using TABs |
|
15 |
* to do the basic (block-level) indentation and spaces for anything after |
|
16 |
* that. (Enable the display of special chars and it should be pretty obvious |
|
17 |
* what this means.) Also, remove all trailing whitespace. |
|
18 |
* |
|
19 |
* Contributors: |
|
20 |
* Willibald Krenn (AIT) |
|
21 |
* Stephan Zimmerer (AIT) |
|
22 |
* Markus Demetz (AIT) |
|
23 |
* Christoph Czurda (AIT) |
|
24 |
* |
|
25 |
*/ |
|
26 |
|
|
27 |
|
|
28 | 1 |
// Generated by the protocol buffer compiler. DO NOT EDIT! |
29 | 2 |
// source: FunctionNames.proto |
30 | 3 |
|
... | ... | |
560 | 533 |
* <code>TIRESIAS_INIT_NULLTYPE = 0;</code> |
561 | 534 |
*/ |
562 | 535 |
TIRESIAS_INIT_NULLTYPE(9, 0), |
536 |
/** |
|
537 |
* <code>TIRESIAS_INIT_METATYPE = 10;</code> |
|
538 |
*/ |
|
539 |
TIRESIAS_INIT_METATYPE(10, 10), |
|
563 | 540 |
; |
564 | 541 |
|
565 | 542 |
/** |
... | ... | |
602 | 579 |
* <code>TIRESIAS_INIT_NULLTYPE = 0;</code> |
603 | 580 |
*/ |
604 | 581 |
public static final int TIRESIAS_INIT_NULLTYPE_VALUE = 0; |
582 |
/** |
|
583 |
* <code>TIRESIAS_INIT_METATYPE = 10;</code> |
|
584 |
*/ |
|
585 |
public static final int TIRESIAS_INIT_METATYPE_VALUE = 10; |
|
605 | 586 |
|
606 | 587 |
|
607 | 588 |
public final int getNumber() { return value; } |
... | ... | |
618 | 599 |
case 8: return TIRESIAS_INIT_ACTIONSYSTEMINSTANCE; |
619 | 600 |
case 9: return TIRESIAS_INIT_ACTIONSYSTEMTYPE; |
620 | 601 |
case 0: return TIRESIAS_INIT_NULLTYPE; |
602 |
case 10: return TIRESIAS_INIT_METATYPE; |
|
621 | 603 |
default: return null; |
622 | 604 |
} |
623 | 605 |
} |
... | ... | |
1060 | 1042 |
"\020\007\022 \n\034TIRESIAS_INIT_SELFIDENTIFIER\020\010\022\"\n\036" + |
1061 | 1043 |
"TIRESIAS_INIT_METHODIDENTIFIER\020\t\022\030\n\024TIRE" + |
1062 | 1044 |
"SIAS_INIT_MODULE\020\n\022\034\n\030TIRESIAS_INIT_MAIN" + |
1063 |
"MODULE\020\000*\277\002\n\007PBTypes\022\031\n\025TIRESIAS_INIT_IN",
|
|
1045 |
"MODULE\020\000*\333\002\n\007PBTypes\022\031\n\025TIRESIAS_INIT_IN",
|
|
1064 | 1046 |
"TTYPE\020\001\022\032\n\026TIRESIAS_INIT_BOOLTYPE\020\002\022 \n\034T" + |
1065 | 1047 |
"IRESIAS_INIT_VALUEDENUMTYPE\020\003\022\032\n\026TIRESIA" + |
1066 | 1048 |
"S_INIT_ENUMTYPE\020\004\022\032\n\026TIRESIAS_INIT_LISTT" + |
... | ... | |
1068 | 1050 |
"RESIAS_INIT_FUNCTIONTYPE\020\007\022&\n\"TIRESIAS_I" + |
1069 | 1051 |
"NIT_ACTIONSYSTEMINSTANCE\020\010\022\"\n\036TIRESIAS_I" + |
1070 | 1052 |
"NIT_ACTIONSYSTEMTYPE\020\t\022\032\n\026TIRESIAS_INIT_" + |
1071 |
"NULLTYPE\020\000*\210\002\n\014PBStatements\022\026\n\022TIRESIAS_" + |
|
1072 |
"INIT_SKIP\020\003\022\027\n\023TIRESIAS_INIT_BREAK\020\004\022\027\n\023" + |
|
1073 |
"TIRESIAS_INIT_ABORT\020\005\022\035\n\031TIRESIAS_INIT_N", |
|
1074 |
"ONDETBLOCK\020\006\022\032\n\026TIRESIAS_INIT_SEQBLOCK\020\007" + |
|
1075 |
"\022\033\n\027TIRESIAS_INIT_PRIOBLOCK\020\010\022 \n\034TIRESIA" + |
|
1076 |
"S_INIT_GUARDEDCOMMAND\020\002\022\034\n\030TIRESIAS_INIT" + |
|
1077 |
"_ASSIGNMENT\020\001\022\026\n\022TIRESIAS_INIT_CALL\020\000*\340\004" + |
|
1078 |
"\n\rPBExpressions\022 \n\034TIRESIAS_INIT_TYPEEXP" + |
|
1079 |
"RESSION\020\004\022&\n\"TIRESIAS_INIT_IDENTIFIEREXP" + |
|
1080 |
"RESSION\020\005\022!\n\035TIRESIAS_INIT_UNARYEXPRESSI" + |
|
1081 |
"ON\020\006\022\"\n\036TIRESIAS_INIT_BINARYEXPRESSION\020\007" + |
|
1082 |
"\022#\n\037TIRESIAS_INIT_TERNARYEXPRESSION\020\010\022$\n" + |
|
1083 |
" TIRESIAS_INIT_INTVALUEEXPRESSION\020\t\022%\n!T", |
|
1084 |
"IRESIAS_INIT_BOOLVALUEEXPRESSION\020\n\022$\n TI" + |
|
1085 |
"RESIAS_INIT_REFVALUEEXPRESSION\020\013\022!\n\035TIRE" + |
|
1086 |
"SIAS_INIT_LISTCONSTRUCTOR\020\014\022 \n\034TIRESIAS_" + |
|
1087 |
"INIT_SETCONSTRUCTOR\020\r\022\"\n\036TIRESIAS_INIT_T" + |
|
1088 |
"UPLECONSTRUCTOR\020\016\022\"\n\036TIRESIAS_INIT_ACCES" + |
|
1089 |
"SEXPRESSION\020\017\022*\n&TIRESIAS_INIT_TUPLEMAPA" + |
|
1090 |
"CCESSEXPRESSION\020\003\022 \n\034TIRESIAS_INIT_CALLE" + |
|
1091 |
"XPRESSION\020\002\022&\n\"TIRESIAS_INIT_QUANTIFIERE" + |
|
1092 |
"XPRESSION\020\001\022#\n\037TIRESIAS_INIT_OBJECTCONST" + |
|
1093 |
"RUCTOR\020\000BA\n0org.momut.ooas.argos.c", |
|
1094 |
"odegen.serialize.genB\rFunctionNames" |
|
1053 |
"NULLTYPE\020\000\022\032\n\026TIRESIAS_INIT_METATYPE\020\n*\210" + |
|
1054 |
"\002\n\014PBStatements\022\026\n\022TIRESIAS_INIT_SKIP\020\003\022" + |
|
1055 |
"\027\n\023TIRESIAS_INIT_BREAK\020\004\022\027\n\023TIRESIAS_INI", |
|
1056 |
"T_ABORT\020\005\022\035\n\031TIRESIAS_INIT_NONDETBLOCK\020\006" + |
|
1057 |
"\022\032\n\026TIRESIAS_INIT_SEQBLOCK\020\007\022\033\n\027TIRESIAS" + |
|
1058 |
"_INIT_PRIOBLOCK\020\010\022 \n\034TIRESIAS_INIT_GUARD" + |
|
1059 |
"EDCOMMAND\020\002\022\034\n\030TIRESIAS_INIT_ASSIGNMENT\020" + |
|
1060 |
"\001\022\026\n\022TIRESIAS_INIT_CALL\020\000*\340\004\n\rPBExpressi" + |
|
1061 |
"ons\022 \n\034TIRESIAS_INIT_TYPEEXPRESSION\020\004\022&\n" + |
|
1062 |
"\"TIRESIAS_INIT_IDENTIFIEREXPRESSION\020\005\022!\n" + |
|
1063 |
"\035TIRESIAS_INIT_UNARYEXPRESSION\020\006\022\"\n\036TIRE" + |
|
1064 |
"SIAS_INIT_BINARYEXPRESSION\020\007\022#\n\037TIRESIAS" + |
|
1065 |
"_INIT_TERNARYEXPRESSION\020\010\022$\n TIRESIAS_IN", |
|
1066 |
"IT_INTVALUEEXPRESSION\020\t\022%\n!TIRESIAS_INIT" + |
|
1067 |
"_BOOLVALUEEXPRESSION\020\n\022$\n TIRESIAS_INIT_" + |
|
1068 |
"REFVALUEEXPRESSION\020\013\022!\n\035TIRESIAS_INIT_LI" + |
|
1069 |
"STCONSTRUCTOR\020\014\022 \n\034TIRESIAS_INIT_SETCONS" + |
|
1070 |
"TRUCTOR\020\r\022\"\n\036TIRESIAS_INIT_TUPLECONSTRUC" + |
|
1071 |
"TOR\020\016\022\"\n\036TIRESIAS_INIT_ACCESSEXPRESSION\020" + |
|
1072 |
"\017\022*\n&TIRESIAS_INIT_TUPLEMAPACCESSEXPRESS" + |
|
1073 |
"ION\020\003\022 \n\034TIRESIAS_INIT_CALLEXPRESSION\020\002\022" + |
|
1074 |
"&\n\"TIRESIAS_INIT_QUANTIFIEREXPRESSION\020\001\022" + |
|
1075 |
"#\n\037TIRESIAS_INIT_OBJECTCONSTRUCTOR\020\000B8\n\'", |
|
1076 |
"org.momut.ooas.codegen.ast.protobuf.genB" + |
|
1077 |
"\rFunctionNames" |
|
1095 | 1078 |
}; |
1096 | 1079 |
com.google.protobuf.Descriptors.FileDescriptor.InternalDescriptorAssigner assigner = |
1097 |
new com.google.protobuf.Descriptors.FileDescriptor.InternalDescriptorAssigner() {
|
|
1098 |
public com.google.protobuf.ExtensionRegistry assignDescriptors( |
|
1099 |
com.google.protobuf.Descriptors.FileDescriptor root) { |
|
1100 |
descriptor = root; |
|
1101 |
return null; |
|
1102 |
} |
|
1103 |
}; |
|
1080 |
new com.google.protobuf.Descriptors.FileDescriptor. InternalDescriptorAssigner() {
|
|
1081 |
public com.google.protobuf.ExtensionRegistry assignDescriptors(
|
|
1082 |
com.google.protobuf.Descriptors.FileDescriptor root) {
|
|
1083 |
descriptor = root;
|
|
1084 |
return null;
|
|
1085 |
}
|
|
1086 |
};
|
|
1104 | 1087 |
com.google.protobuf.Descriptors.FileDescriptor |
1105 | 1088 |
.internalBuildGeneratedFileFrom(descriptorData, |
1106 | 1089 |
new com.google.protobuf.Descriptors.FileDescriptor[] { |
trunk/compiler/ooasCompiler/src/org/momut/ooas/codegen/ast/protobuf/gen/RecordedAstTraversal.java | ||
---|---|---|
1 |
/** |
|
2 |
* |
|
3 |
* OOAS Compiler |
|
4 |
* |
|
5 |
* Copyright 2015, AIT Austrian Institute of Technology. |
|
6 |
* This code is based on the C# Version of the OOAS Compiler, which is |
|
7 |
* copyright 2015 by the Institute of Software Technology, Graz University |
|
8 |
* of Technology with portions copyright by the AIT Austrian Institute of |
|
9 |
* Technology. All rights reserved. |
|
10 |
* |
|
11 |
* SEE THE "LICENSE" FILE FOR THE TERMS UNDER WHICH THIS FILE IS PROVIDED. |
|
12 |
* |
|
13 |
* If you modify the file please update the list of contributors below to in- |
|
14 |
* clude your name. Please also stick to the coding convention of using TABs |
|
15 |
* to do the basic (block-level) indentation and spaces for anything after |
|
16 |
* that. (Enable the display of special chars and it should be pretty obvious |
|
17 |
* what this means.) Also, remove all trailing whitespace. |
|
18 |
* |
|
19 |
* Contributors: |
|
20 |
* Willibald Krenn (AIT) |
|
21 |
* Stephan Zimmerer (AIT) |
|
22 |
* Markus Demetz (AIT) |
|
23 |
* Christoph Czurda (AIT) |
|
24 |
* |
|
25 |
*/ |
|
26 |
|
|
27 |
|
|
28 | 1 |
// Generated by the protocol buffer compiler. DO NOT EDIT! |
29 | 2 |
// source: Record.proto |
30 | 3 |
|
... | ... | |
121 | 94 |
// @@protoc_insertion_point(enum_scope:serialize.PBReturnType) |
122 | 95 |
} |
123 | 96 |
|
124 |
public interface PBParameterOrBuilder |
|
125 |
extends com.google.protobuf.MessageOrBuilder { |
|
97 |
public interface PBParameterOrBuilder extends |
|
98 |
// @@protoc_insertion_point(interface_extends:serialize.PBParameter) |
|
99 |
com.google.protobuf.MessageOrBuilder { |
|
126 | 100 |
|
127 |
// optional uint64 uint64_value = 1; |
|
128 | 101 |
/** |
129 | 102 |
* <code>optional uint64 uint64_value = 1;</code> |
130 | 103 |
* |
... | ... | |
142 | 115 |
*/ |
143 | 116 |
long getUint64Value(); |
144 | 117 |
|
145 |
// optional string literal_value = 2; |
|
146 | 118 |
/** |
147 | 119 |
* <code>optional string literal_value = 2;</code> |
148 | 120 |
*/ |
... | ... | |
157 | 129 |
com.google.protobuf.ByteString |
158 | 130 |
getLiteralValueBytes(); |
159 | 131 |
|
160 |
// optional bool bool_value = 3; |
|
161 | 132 |
/** |
162 | 133 |
* <code>optional bool bool_value = 3;</code> |
163 | 134 |
*/ |
... | ... | |
167 | 138 |
*/ |
168 | 139 |
boolean getBoolValue(); |
169 | 140 |
|
170 |
// optional int32 int32_value = 4; |
|
171 | 141 |
/** |
172 | 142 |
* <code>optional int32 int32_value = 4;</code> |
173 | 143 |
*/ |
... | ... | |
177 | 147 |
*/ |
178 | 148 |
int getInt32Value(); |
179 | 149 |
|
180 |
// optional uint32 uint32_value = 5; |
|
181 | 150 |
/** |
182 | 151 |
* <code>optional uint32 uint32_value = 5;</code> |
183 | 152 |
*/ |
... | ... | |
191 | 160 |
* Protobuf type {@code serialize.PBParameter} |
192 | 161 |
*/ |
193 | 162 |
public static final class PBParameter extends |
194 |
com.google.protobuf.GeneratedMessage |
|
195 |
implements PBParameterOrBuilder { |
|
163 |
com.google.protobuf.GeneratedMessage implements |
|
164 |
// @@protoc_insertion_point(message_implements:serialize.PBParameter) |
|
165 |
PBParameterOrBuilder { |
|
196 | 166 |
// Use PBParameter.newBuilder() to construct. |
197 | 167 |
private PBParameter(com.google.protobuf.GeneratedMessage.Builder<?> builder) { |
198 | 168 |
super(builder); |
... | ... | |
221 | 191 |
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
222 | 192 |
throws com.google.protobuf.InvalidProtocolBufferException { |
223 | 193 |
initFields(); |
224 |
@SuppressWarnings("unused") |
|
225 |
final |
|
226 |
int mutable_bitField0_ = 0; |
|
194 |
// int mutable_bitField0_ = 0; |
|
227 | 195 |
final com.google.protobuf.UnknownFieldSet.Builder unknownFields = |
228 | 196 |
com.google.protobuf.UnknownFieldSet.newBuilder(); |
229 | 197 |
try { |
... | ... | |
247 | 215 |
break; |
248 | 216 |
} |
249 | 217 |
case 18: { |
218 |
final com.google.protobuf.ByteString bs = input.readBytes(); |
|
250 | 219 |
bitField0_ |= 0x00000002; |
251 |
literalValue_ = input.readBytes();
|
|
220 |
literalValue_ = bs;
|
|
252 | 221 |
break; |
253 | 222 |
} |
254 | 223 |
case 24: { |
... | ... | |
308 | 277 |
} |
309 | 278 |
|
310 | 279 |
private int bitField0_; |
311 |
// optional uint64 uint64_value = 1; |
|
312 | 280 |
public static final int UINT64_VALUE_FIELD_NUMBER = 1; |
313 | 281 |
private long uint64Value_; |
314 | 282 |
/** |
... | ... | |
334 | 302 |
return uint64Value_; |
335 | 303 |
} |
336 | 304 |
|
337 |
// optional string literal_value = 2; |
|
338 | 305 |
public static final int LITERAL_VALUE_FIELD_NUMBER = 2; |
339 | 306 |
private java.lang.Object literalValue_; |
340 | 307 |
/** |
... | ... | |
380 | 347 |
} |
381 | 348 |
} |
382 | 349 |
|
383 |
// optional bool bool_value = 3; |
|
384 | 350 |
public static final int BOOL_VALUE_FIELD_NUMBER = 3; |
385 | 351 |
private boolean boolValue_; |
386 | 352 |
/** |
... | ... | |
398 | 364 |
return boolValue_; |
399 | 365 |
} |
400 | 366 |
|
401 |
// optional int32 int32_value = 4; |
|
402 | 367 |
public static final int INT32_VALUE_FIELD_NUMBER = 4; |
403 | 368 |
private int int32Value_; |
404 | 369 |
/** |
... | ... | |
416 | 381 |
return int32Value_; |
417 | 382 |
} |
418 | 383 |
|
419 |
// optional uint32 uint32_value = 5; |
|
420 | 384 |
public static final int UINT32_VALUE_FIELD_NUMBER = 5; |
421 | 385 |
private int uint32Value_; |
422 | 386 |
/** |
... | ... | |
445 | 409 |
@Override |
446 | 410 |
public final boolean isInitialized() { |
447 | 411 |
final byte isInitialized = memoizedIsInitialized; |
448 |
if (isInitialized != -1) return isInitialized == 1; |
|
412 |
if (isInitialized == 1) return true; |
|
413 |
if (isInitialized == 0) return false; |
|
449 | 414 |
|
450 | 415 |
memoizedIsInitialized = 1; |
451 | 416 |
return true; |
... | ... | |
584 | 549 |
* Protobuf type {@code serialize.PBParameter} |
585 | 550 |
*/ |
586 | 551 |
public static final class Builder extends |
587 |
com.google.protobuf.GeneratedMessage.Builder<Builder> |
|
588 |
implements org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBParameterOrBuilder { |
|
552 |
com.google.protobuf.GeneratedMessage.Builder<Builder> implements |
|
553 |
// @@protoc_insertion_point(builder_implements:serialize.PBParameter) |
|
554 |
org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBParameterOrBuilder { |
|
589 | 555 |
public static final com.google.protobuf.Descriptors.Descriptor |
590 | 556 |
getDescriptor() { |
591 | 557 |
return org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.internal_static_serialize_PBParameter_descriptor; |
... | ... | |
599 | 565 |
org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBParameter.class, org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBParameter.Builder.class); |
600 | 566 |
} |
601 | 567 |
|
602 |
// Construct using org.momut.ooas.argos.codegen.serialize.gen.RecordedAstTraversal.PBParameter.newBuilder()
|
|
568 |
// Construct using org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBParameter.newBuilder()
|
|
603 | 569 |
private Builder() { |
604 | 570 |
maybeForceBuilderInitialization(); |
605 | 571 |
} |
... | ... | |
746 | 712 |
} |
747 | 713 |
private int bitField0_; |
748 | 714 |
|
749 |
// optional uint64 uint64_value = 1; |
|
750 | 715 |
private long uint64Value_ ; |
751 | 716 |
/** |
752 | 717 |
* <code>optional uint64 uint64_value = 1;</code> |
... | ... | |
797 | 762 |
return this; |
798 | 763 |
} |
799 | 764 |
|
800 |
// optional string literal_value = 2; |
|
801 | 765 |
private java.lang.Object literalValue_ = ""; |
802 | 766 |
/** |
803 | 767 |
* <code>optional string literal_value = 2;</code> |
... | ... | |
813 | 777 |
public java.lang.String getLiteralValue() { |
814 | 778 |
final java.lang.Object ref = literalValue_; |
815 | 779 |
if (!(ref instanceof java.lang.String)) { |
816 |
final java.lang.String s = ((com.google.protobuf.ByteString) ref) |
|
817 |
.toStringUtf8(); |
|
818 |
literalValue_ = s; |
|
780 |
final com.google.protobuf.ByteString bs = |
|
781 |
(com.google.protobuf.ByteString) ref; |
|
782 |
final java.lang.String s = bs.toStringUtf8(); |
|
783 |
if (bs.isValidUtf8()) { |
|
784 |
literalValue_ = s; |
|
785 |
} |
|
819 | 786 |
return s; |
820 | 787 |
} else { |
821 | 788 |
return (java.lang.String) ref; |
... | ... | |
874 | 841 |
return this; |
875 | 842 |
} |
876 | 843 |
|
877 |
// optional bool bool_value = 3; |
|
878 | 844 |
private boolean boolValue_ ; |
879 | 845 |
/** |
880 | 846 |
* <code>optional bool bool_value = 3;</code> |
... | ... | |
909 | 875 |
return this; |
910 | 876 |
} |
911 | 877 |
|
912 |
// optional int32 int32_value = 4; |
|
913 | 878 |
private int int32Value_ ; |
914 | 879 |
/** |
915 | 880 |
* <code>optional int32 int32_value = 4;</code> |
... | ... | |
944 | 909 |
return this; |
945 | 910 |
} |
946 | 911 |
|
947 |
// optional uint32 uint32_value = 5; |
|
948 | 912 |
private int uint32Value_ ; |
949 | 913 |
/** |
950 | 914 |
* <code>optional uint32 uint32_value = 5;</code> |
... | ... | |
990 | 954 |
// @@protoc_insertion_point(class_scope:serialize.PBParameter) |
991 | 955 |
} |
992 | 956 |
|
993 |
public interface PBReturnValueOrBuilder |
|
994 |
extends com.google.protobuf.MessageOrBuilder { |
|
957 |
public interface PBReturnValueOrBuilder extends |
|
958 |
// @@protoc_insertion_point(interface_extends:serialize.PBReturnValue) |
|
959 |
com.google.protobuf.MessageOrBuilder { |
|
995 | 960 |
|
996 |
// required .serialize.PBReturnType return_type = 1; |
|
997 | 961 |
/** |
998 | 962 |
* <code>required .serialize.PBReturnType return_type = 1;</code> |
999 | 963 |
*/ |
... | ... | |
1003 | 967 |
*/ |
1004 | 968 |
org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnType getReturnType(); |
1005 | 969 |
|
1006 |
// optional uint64 return_id = 2; |
|
1007 | 970 |
/** |
1008 | 971 |
* <code>optional uint64 return_id = 2;</code> |
1009 | 972 |
*/ |
... | ... | |
1017 | 980 |
* Protobuf type {@code serialize.PBReturnValue} |
1018 | 981 |
*/ |
1019 | 982 |
public static final class PBReturnValue extends |
1020 |
com.google.protobuf.GeneratedMessage |
|
1021 |
implements PBReturnValueOrBuilder { |
|
983 |
com.google.protobuf.GeneratedMessage implements |
|
984 |
// @@protoc_insertion_point(message_implements:serialize.PBReturnValue) |
|
985 |
PBReturnValueOrBuilder { |
|
1022 | 986 |
// Use PBReturnValue.newBuilder() to construct. |
1023 | 987 |
private PBReturnValue(com.google.protobuf.GeneratedMessage.Builder<?> builder) { |
1024 | 988 |
super(builder); |
... | ... | |
1047 | 1011 |
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
1048 | 1012 |
throws com.google.protobuf.InvalidProtocolBufferException { |
1049 | 1013 |
initFields(); |
1050 |
@SuppressWarnings("unused") |
|
1051 |
final |
|
1052 |
int mutable_bitField0_ = 0; |
|
1014 |
// int mutable_bitField0_ = 0; |
|
1053 | 1015 |
final com.google.protobuf.UnknownFieldSet.Builder unknownFields = |
1054 | 1016 |
com.google.protobuf.UnknownFieldSet.newBuilder(); |
1055 | 1017 |
try { |
... | ... | |
1125 | 1087 |
} |
1126 | 1088 |
|
1127 | 1089 |
private int bitField0_; |
1128 |
// required .serialize.PBReturnType return_type = 1; |
|
1129 | 1090 |
public static final int RETURN_TYPE_FIELD_NUMBER = 1; |
1130 | 1091 |
private org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnType returnType_; |
1131 | 1092 |
/** |
... | ... | |
1143 | 1104 |
return returnType_; |
1144 | 1105 |
} |
1145 | 1106 |
|
1146 |
// optional uint64 return_id = 2; |
|
1147 | 1107 |
public static final int RETURN_ID_FIELD_NUMBER = 2; |
1148 | 1108 |
private long returnId_; |
1149 | 1109 |
/** |
... | ... | |
1169 | 1129 |
@Override |
1170 | 1130 |
public final boolean isInitialized() { |
1171 | 1131 |
final byte isInitialized = memoizedIsInitialized; |
1172 |
if (isInitialized != -1) return isInitialized == 1; |
|
1132 |
if (isInitialized == 1) return true; |
|
1133 |
if (isInitialized == 0) return false; |
|
1173 | 1134 |
|
1174 | 1135 |
if (!hasReturnType()) { |
1175 | 1136 |
memoizedIsInitialized = 0; |
... | ... | |
1291 | 1252 |
* Protobuf type {@code serialize.PBReturnValue} |
1292 | 1253 |
*/ |
1293 | 1254 |
public static final class Builder extends |
1294 |
com.google.protobuf.GeneratedMessage.Builder<Builder> |
|
1295 |
implements org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnValueOrBuilder { |
|
1255 |
com.google.protobuf.GeneratedMessage.Builder<Builder> implements |
|
1256 |
// @@protoc_insertion_point(builder_implements:serialize.PBReturnValue) |
|
1257 |
org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnValueOrBuilder { |
|
1296 | 1258 |
public static final com.google.protobuf.Descriptors.Descriptor |
1297 | 1259 |
getDescriptor() { |
1298 | 1260 |
return org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.internal_static_serialize_PBReturnValue_descriptor; |
... | ... | |
1306 | 1268 |
org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnValue.class, org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnValue.Builder.class); |
1307 | 1269 |
} |
1308 | 1270 |
|
1309 |
// Construct using org.momut.ooas.argos.codegen.serialize.gen.RecordedAstTraversal.PBReturnValue.newBuilder()
|
|
1271 |
// Construct using org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnValue.newBuilder()
|
|
1310 | 1272 |
private Builder() { |
1311 | 1273 |
maybeForceBuilderInitialization(); |
1312 | 1274 |
} |
... | ... | |
1428 | 1390 |
} |
1429 | 1391 |
private int bitField0_; |
1430 | 1392 |
|
1431 |
// required .serialize.PBReturnType return_type = 1; |
|
1432 | 1393 |
private org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnType returnType_ = org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnType.type_voidPointer; |
1433 | 1394 |
/** |
1434 | 1395 |
* <code>required .serialize.PBReturnType return_type = 1;</code> |
... | ... | |
1466 | 1427 |
return this; |
1467 | 1428 |
} |
1468 | 1429 |
|
1469 |
// optional uint64 return_id = 2; |
|
1470 | 1430 |
private long returnId_ ; |
1471 | 1431 |
/** |
1472 | 1432 |
* <code>optional uint64 return_id = 2;</code> |
... | ... | |
1512 | 1472 |
// @@protoc_insertion_point(class_scope:serialize.PBReturnValue) |
1513 | 1473 |
} |
1514 | 1474 |
|
1515 |
public interface PBFunctionCallOrBuilder |
|
1516 |
extends com.google.protobuf.MessageOrBuilder { |
|
1475 |
public interface PBFunctionCallOrBuilder extends |
|
1476 |
// @@protoc_insertion_point(interface_extends:serialize.PBFunctionCall) |
|
1477 |
com.google.protobuf.MessageOrBuilder { |
|
1517 | 1478 |
|
1518 |
// optional .serialize.PBAdd add = 1; |
|
1519 | 1479 |
/** |
1520 | 1480 |
* <code>optional .serialize.PBAdd add = 1;</code> |
1521 | 1481 |
*/ |
... | ... | |
1525 | 1485 |
*/ |
1526 | 1486 |
org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBAdd getAdd(); |
1527 | 1487 |
|
1528 |
// optional .serialize.PBAllocation allocate = 2; |
|
1529 | 1488 |
/** |
1530 | 1489 |
* <code>optional .serialize.PBAllocation allocate = 2;</code> |
1531 | 1490 |
*/ |
... | ... | |
1535 | 1494 |
*/ |
1536 | 1495 |
org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBAllocation getAllocate(); |
1537 | 1496 |
|
1538 |
// optional .serialize.PBIdentifiers identifier = 3; |
|
1539 | 1497 |
/** |
1540 | 1498 |
* <code>optional .serialize.PBIdentifiers identifier = 3;</code> |
1541 | 1499 |
*/ |
... | ... | |
1545 | 1503 |
*/ |
1546 | 1504 |
org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBIdentifiers getIdentifier(); |
1547 | 1505 |
|
1548 |
// optional .serialize.PBTypes type = 4; |
|
1549 | 1506 |
/** |
1550 | 1507 |
* <code>optional .serialize.PBTypes type = 4;</code> |
1551 | 1508 |
*/ |
... | ... | |
1555 | 1512 |
*/ |
1556 | 1513 |
org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBTypes getType(); |
1557 | 1514 |
|
1558 |
// optional .serialize.PBStatements statement = 5; |
|
1559 | 1515 |
/** |
1560 | 1516 |
* <code>optional .serialize.PBStatements statement = 5;</code> |
1561 | 1517 |
*/ |
... | ... | |
1565 | 1521 |
*/ |
1566 | 1522 |
org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBStatements getStatement(); |
1567 | 1523 |
|
1568 |
// optional .serialize.PBExpressions expression = 6; |
|
1569 | 1524 |
/** |
1570 | 1525 |
* <code>optional .serialize.PBExpressions expression = 6;</code> |
1571 | 1526 |
*/ |
... | ... | |
1575 | 1530 |
*/ |
1576 | 1531 |
org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBExpressions getExpression(); |
1577 | 1532 |
|
1578 |
// repeated .serialize.PBParameter parameters = 7; |
|
1579 | 1533 |
/** |
1580 | 1534 |
* <code>repeated .serialize.PBParameter parameters = 7;</code> |
1581 | 1535 |
*/ |
... | ... | |
1600 | 1554 |
org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBParameterOrBuilder getParametersOrBuilder( |
1601 | 1555 |
int index); |
1602 | 1556 |
|
1603 |
// required .serialize.PBReturnValue return_value = 8; |
|
1604 | 1557 |
/** |
1605 | 1558 |
* <code>required .serialize.PBReturnValue return_value = 8;</code> |
1606 | 1559 |
*/ |
... | ... | |
1618 | 1571 |
* Protobuf type {@code serialize.PBFunctionCall} |
1619 | 1572 |
*/ |
1620 | 1573 |
public static final class PBFunctionCall extends |
1621 |
com.google.protobuf.GeneratedMessage |
|
1622 |
implements PBFunctionCallOrBuilder { |
|
1574 |
com.google.protobuf.GeneratedMessage implements |
|
1575 |
// @@protoc_insertion_point(message_implements:serialize.PBFunctionCall) |
|
1576 |
PBFunctionCallOrBuilder { |
|
1623 | 1577 |
// Use PBFunctionCall.newBuilder() to construct. |
1624 | 1578 |
private PBFunctionCall(com.google.protobuf.GeneratedMessage.Builder<?> builder) { |
1625 | 1579 |
super(builder); |
... | ... | |
1798 | 1752 |
} |
1799 | 1753 |
|
1800 | 1754 |
private int bitField0_; |
1801 |
// optional .serialize.PBAdd add = 1; |
|
1802 | 1755 |
public static final int ADD_FIELD_NUMBER = 1; |
1803 | 1756 |
private org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBAdd add_; |
1804 | 1757 |
/** |
... | ... | |
1816 | 1769 |
return add_; |
1817 | 1770 |
} |
1818 | 1771 |
|
1819 |
// optional .serialize.PBAllocation allocate = 2; |
|
1820 | 1772 |
public static final int ALLOCATE_FIELD_NUMBER = 2; |
1821 | 1773 |
private org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBAllocation allocate_; |
1822 | 1774 |
/** |
... | ... | |
1834 | 1786 |
return allocate_; |
1835 | 1787 |
} |
1836 | 1788 |
|
1837 |
// optional .serialize.PBIdentifiers identifier = 3; |
|
1838 | 1789 |
public static final int IDENTIFIER_FIELD_NUMBER = 3; |
1839 | 1790 |
private org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBIdentifiers identifier_; |
1840 | 1791 |
/** |
... | ... | |
1852 | 1803 |
return identifier_; |
1853 | 1804 |
} |
1854 | 1805 |
|
1855 |
// optional .serialize.PBTypes type = 4; |
|
1856 | 1806 |
public static final int TYPE_FIELD_NUMBER = 4; |
1857 | 1807 |
private org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBTypes type_; |
1858 | 1808 |
/** |
... | ... | |
1870 | 1820 |
return type_; |
1871 | 1821 |
} |
1872 | 1822 |
|
1873 |
// optional .serialize.PBStatements statement = 5; |
|
1874 | 1823 |
public static final int STATEMENT_FIELD_NUMBER = 5; |
1875 | 1824 |
private org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBStatements statement_; |
1876 | 1825 |
/** |
... | ... | |
1888 | 1837 |
return statement_; |
1889 | 1838 |
} |
1890 | 1839 |
|
1891 |
// optional .serialize.PBExpressions expression = 6; |
|
1892 | 1840 |
public static final int EXPRESSION_FIELD_NUMBER = 6; |
1893 | 1841 |
private org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBExpressions expression_; |
1894 | 1842 |
/** |
... | ... | |
1906 | 1854 |
return expression_; |
1907 | 1855 |
} |
1908 | 1856 |
|
1909 |
// repeated .serialize.PBParameter parameters = 7; |
|
1910 | 1857 |
public static final int PARAMETERS_FIELD_NUMBER = 7; |
1911 | 1858 |
private java.util.List<org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBParameter> parameters_; |
1912 | 1859 |
/** |
... | ... | |
1947 | 1894 |
return parameters_.get(index); |
1948 | 1895 |
} |
1949 | 1896 |
|
1950 |
// required .serialize.PBReturnValue return_value = 8; |
|
1951 | 1897 |
public static final int RETURN_VALUE_FIELD_NUMBER = 8; |
1952 | 1898 |
private org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnValue returnValue_; |
1953 | 1899 |
/** |
... | ... | |
1986 | 1932 |
@Override |
1987 | 1933 |
public final boolean isInitialized() { |
1988 | 1934 |
final byte isInitialized = memoizedIsInitialized; |
1989 |
if (isInitialized != -1) return isInitialized == 1; |
|
1935 |
if (isInitialized == 1) return true; |
|
1936 |
if (isInitialized == 0) return false; |
|
1990 | 1937 |
|
1991 | 1938 |
if (!hasReturnValue()) { |
1992 | 1939 |
memoizedIsInitialized = 0; |
... | ... | |
2154 | 2101 |
* Protobuf type {@code serialize.PBFunctionCall} |
2155 | 2102 |
*/ |
2156 | 2103 |
public static final class Builder extends |
2157 |
com.google.protobuf.GeneratedMessage.Builder<Builder> |
|
2158 |
implements org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBFunctionCallOrBuilder { |
|
2104 |
com.google.protobuf.GeneratedMessage.Builder<Builder> implements |
|
2105 |
// @@protoc_insertion_point(builder_implements:serialize.PBFunctionCall) |
|
2106 |
org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBFunctionCallOrBuilder { |
|
2159 | 2107 |
public static final com.google.protobuf.Descriptors.Descriptor |
2160 | 2108 |
getDescriptor() { |
2161 | 2109 |
return org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.internal_static_serialize_PBFunctionCall_descriptor; |
... | ... | |
2169 | 2117 |
org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBFunctionCall.class, org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBFunctionCall.Builder.class); |
2170 | 2118 |
} |
2171 | 2119 |
|
2172 |
// Construct using org.momut.ooas.argos.codegen.serialize.gen.RecordedAstTraversal.PBFunctionCall.newBuilder()
|
|
2120 |
// Construct using org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBFunctionCall.newBuilder()
|
|
2173 | 2121 |
private Builder() { |
2174 | 2122 |
maybeForceBuilderInitialization(); |
2175 | 2123 |
} |
... | ... | |
2391 | 2339 |
} |
2392 | 2340 |
private int bitField0_; |
2393 | 2341 |
|
2394 |
// optional .serialize.PBAdd add = 1; |
|
2395 | 2342 |
private org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBAdd add_ = org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBAdd.TIRESIAS_ADD_IDENTIFIERTOLIST; |
2396 | 2343 |
/** |
2397 | 2344 |
* <code>optional .serialize.PBAdd add = 1;</code> |
... | ... | |
2429 | 2376 |
return this; |
2430 | 2377 |
} |
2431 | 2378 |
|
2432 |
// optional .serialize.PBAllocation allocate = 2; |
|
2433 | 2379 |
private org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBAllocation allocate_ = org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBAllocation.TIRESIAS_CREATE_IDENTIFIER; |
2434 | 2380 |
/** |
2435 | 2381 |
* <code>optional .serialize.PBAllocation allocate = 2;</code> |
... | ... | |
2467 | 2413 |
return this; |
2468 | 2414 |
} |
2469 | 2415 |
|
2470 |
// optional .serialize.PBIdentifiers identifier = 3; |
|
2471 | 2416 |
private org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBIdentifiers identifier_ = org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBIdentifiers.TIRESIAS_INIT_ENUMIDENTIFIER; |
2472 | 2417 |
/** |
2473 | 2418 |
* <code>optional .serialize.PBIdentifiers identifier = 3;</code> |
... | ... | |
2505 | 2450 |
return this; |
2506 | 2451 |
} |
2507 | 2452 |
|
2508 |
// optional .serialize.PBTypes type = 4; |
|
2509 | 2453 |
private org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBTypes type_ = org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBTypes.TIRESIAS_INIT_INTTYPE; |
2510 | 2454 |
/** |
2511 | 2455 |
* <code>optional .serialize.PBTypes type = 4;</code> |
... | ... | |
2543 | 2487 |
return this; |
2544 | 2488 |
} |
2545 | 2489 |
|
2546 |
// optional .serialize.PBStatements statement = 5; |
|
2547 | 2490 |
private org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBStatements statement_ = org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBStatements.TIRESIAS_INIT_SKIP; |
2548 | 2491 |
/** |
2549 | 2492 |
* <code>optional .serialize.PBStatements statement = 5;</code> |
... | ... | |
2581 | 2524 |
return this; |
2582 | 2525 |
} |
2583 | 2526 |
|
2584 |
// optional .serialize.PBExpressions expression = 6; |
|
2585 | 2527 |
private org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBExpressions expression_ = org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.PBExpressions.TIRESIAS_INIT_TYPEEXPRESSION; |
2586 | 2528 |
/** |
2587 | 2529 |
* <code>optional .serialize.PBExpressions expression = 6;</code> |
... | ... | |
2619 | 2561 |
return this; |
2620 | 2562 |
} |
2621 | 2563 |
|
2622 |
// repeated .serialize.PBParameter parameters = 7; |
|
2623 | 2564 |
private java.util.List<org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBParameter> parameters_ = |
2624 | 2565 |
java.util.Collections.emptyList(); |
2625 | 2566 |
private void ensureParametersIsMutable() { |
... | ... | |
2764 | 2705 |
java.lang.Iterable<? extends org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBParameter> values) { |
2765 | 2706 |
if (parametersBuilder_ == null) { |
2766 | 2707 |
ensureParametersIsMutable(); |
2767 |
super.addAll(values, parameters_); |
|
2708 |
com.google.protobuf.AbstractMessageLite.Builder.addAll( |
|
2709 |
values, parameters_); |
|
2768 | 2710 |
onChanged(); |
2769 | 2711 |
} else { |
2770 | 2712 |
parametersBuilder_.addAllMessages(values); |
... | ... | |
2864 | 2806 |
return parametersBuilder_; |
2865 | 2807 |
} |
2866 | 2808 |
|
2867 |
// required .serialize.PBReturnValue return_value = 8; |
|
2868 | 2809 |
private org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnValue returnValue_ = org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnValue.getDefaultInstance(); |
2869 | 2810 |
private com.google.protobuf.SingleFieldBuilder< |
2870 | 2811 |
org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnValue, org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnValue.Builder, org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnValueOrBuilder> returnValueBuilder_; |
... | ... | |
2976 | 2917 |
if (returnValueBuilder_ == null) { |
2977 | 2918 |
returnValueBuilder_ = new com.google.protobuf.SingleFieldBuilder< |
2978 | 2919 |
org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnValue, org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnValue.Builder, org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBReturnValueOrBuilder>( |
2979 |
returnValue_,
|
|
2920 |
getReturnValue(),
|
|
2980 | 2921 |
getParentForChildren(), |
2981 | 2922 |
isClean()); |
2982 | 2923 |
returnValue_ = null; |
... | ... | |
2995 | 2936 |
// @@protoc_insertion_point(class_scope:serialize.PBFunctionCall) |
2996 | 2937 |
} |
2997 | 2938 |
|
2998 |
public interface PBAstTraversalOrBuilder |
|
2999 |
extends com.google.protobuf.MessageOrBuilder { |
|
2939 |
public interface PBAstTraversalOrBuilder extends |
|
2940 |
// @@protoc_insertion_point(interface_extends:serialize.PBAstTraversal) |
|
2941 |
com.google.protobuf.MessageOrBuilder { |
|
3000 | 2942 |
|
3001 |
// repeated .serialize.PBFunctionCall calls = 1; |
|
3002 | 2943 |
/** |
3003 | 2944 |
* <code>repeated .serialize.PBFunctionCall calls = 1;</code> |
3004 | 2945 |
*/ |
... | ... | |
3023 | 2964 |
org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBFunctionCallOrBuilder getCallsOrBuilder( |
3024 | 2965 |
int index); |
3025 | 2966 |
|
3026 |
// required uint64 main_module = 2; |
|
3027 | 2967 |
/** |
3028 | 2968 |
* <code>required uint64 main_module = 2;</code> |
3029 | 2969 |
*/ |
... | ... | |
3037 | 2977 |
* Protobuf type {@code serialize.PBAstTraversal} |
3038 | 2978 |
*/ |
3039 | 2979 |
public static final class PBAstTraversal extends |
3040 |
com.google.protobuf.GeneratedMessage |
|
3041 |
implements PBAstTraversalOrBuilder { |
|
2980 |
com.google.protobuf.GeneratedMessage implements |
|
2981 |
// @@protoc_insertion_point(message_implements:serialize.PBAstTraversal) |
|
2982 |
PBAstTraversalOrBuilder { |
|
3042 | 2983 |
// Use PBAstTraversal.newBuilder() to construct. |
3043 | 2984 |
private PBAstTraversal(com.google.protobuf.GeneratedMessage.Builder<?> builder) { |
3044 | 2985 |
super(builder); |
... | ... | |
3143 | 3084 |
} |
3144 | 3085 |
|
3145 | 3086 |
private int bitField0_; |
3146 |
// repeated .serialize.PBFunctionCall calls = 1; |
|
3147 | 3087 |
public static final int CALLS_FIELD_NUMBER = 1; |
3148 | 3088 |
private java.util.List<org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBFunctionCall> calls_; |
3149 | 3089 |
/** |
... | ... | |
3184 | 3124 |
return calls_.get(index); |
3185 | 3125 |
} |
3186 | 3126 |
|
3187 |
// required uint64 main_module = 2; |
|
3188 | 3127 |
public static final int MAIN_MODULE_FIELD_NUMBER = 2; |
3189 | 3128 |
private long mainModule_; |
3190 | 3129 |
/** |
... | ... | |
3210 | 3149 |
@Override |
3211 | 3150 |
public final boolean isInitialized() { |
3212 | 3151 |
final byte isInitialized = memoizedIsInitialized; |
3213 |
if (isInitialized != -1) return isInitialized == 1; |
|
3152 |
if (isInitialized == 1) return true; |
|
3153 |
if (isInitialized == 0) return false; |
|
3214 | 3154 |
|
3215 | 3155 |
if (!hasMainModule()) { |
3216 | 3156 |
memoizedIsInitialized = 0; |
... | ... | |
3338 | 3278 |
* Protobuf type {@code serialize.PBAstTraversal} |
3339 | 3279 |
*/ |
3340 | 3280 |
public static final class Builder extends |
3341 |
com.google.protobuf.GeneratedMessage.Builder<Builder> |
|
3342 |
implements org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBAstTraversalOrBuilder { |
|
3281 |
com.google.protobuf.GeneratedMessage.Builder<Builder> implements |
|
3282 |
// @@protoc_insertion_point(builder_implements:serialize.PBAstTraversal) |
|
3283 |
org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBAstTraversalOrBuilder { |
|
3343 | 3284 |
public static final com.google.protobuf.Descriptors.Descriptor |
3344 | 3285 |
getDescriptor() { |
3345 | 3286 |
return org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.internal_static_serialize_PBAstTraversal_descriptor; |
... | ... | |
3353 | 3294 |
org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBAstTraversal.class, org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBAstTraversal.Builder.class); |
3354 | 3295 |
} |
3355 | 3296 |
|
3356 |
// Construct using org.momut.ooas.argos.codegen.serialize.gen.RecordedAstTraversal.PBAstTraversal.newBuilder()
|
|
3297 |
// Construct using org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBAstTraversal.newBuilder()
|
|
3357 | 3298 |
private Builder() { |
3358 | 3299 |
maybeForceBuilderInitialization(); |
3359 | 3300 |
} |
... | ... | |
3514 | 3455 |
} |
3515 | 3456 |
private int bitField0_; |
3516 | 3457 |
|
3517 |
// repeated .serialize.PBFunctionCall calls = 1; |
|
3518 | 3458 |
private java.util.List<org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBFunctionCall> calls_ = |
3519 | 3459 |
java.util.Collections.emptyList(); |
3520 | 3460 |
private void ensureCallsIsMutable() { |
... | ... | |
3659 | 3599 |
java.lang.Iterable<? extends org.momut.ooas.codegen.ast.protobuf.gen.RecordedAstTraversal.PBFunctionCall> values) { |
3660 | 3600 |
if (callsBuilder_ == null) { |
3661 | 3601 |
ensureCallsIsMutable(); |
3662 |
super.addAll(values, calls_); |
|
3602 |
com.google.protobuf.AbstractMessageLite.Builder.addAll( |
|
3603 |
values, calls_); |
|
3663 | 3604 |
onChanged(); |
3664 | 3605 |
} else { |
3665 | 3606 |
callsBuilder_.addAllMessages(values); |
... | ... | |
3759 | 3700 |
return callsBuilder_; |
3760 | 3701 |
} |
3761 | 3702 |
|
3762 |
// required uint64 main_module = 2; |
|
3763 | 3703 |
private long mainModule_ ; |
3764 | 3704 |
/** |
3765 | 3705 |
* <code>required uint64 main_module = 2;</code> |
... | ... | |
3805 | 3745 |
// @@protoc_insertion_point(class_scope:serialize.PBAstTraversal) |
3806 | 3746 |
} |
3807 | 3747 |
|
3808 |
private static com.google.protobuf.Descriptors.Descriptor |
|
3748 |
private static final com.google.protobuf.Descriptors.Descriptor
|
|
3809 | 3749 |
internal_static_serialize_PBParameter_descriptor; |
3810 | 3750 |
private static |
3811 | 3751 |
com.google.protobuf.GeneratedMessage.FieldAccessorTable |
3812 | 3752 |
internal_static_serialize_PBParameter_fieldAccessorTable; |
3813 |
private static com.google.protobuf.Descriptors.Descriptor |
|
3753 |
private static final com.google.protobuf.Descriptors.Descriptor
|
|
3814 | 3754 |
internal_static_serialize_PBReturnValue_descriptor; |
3815 | 3755 |
private static |
3816 | 3756 |
com.google.protobuf.GeneratedMessage.FieldAccessorTable |
3817 | 3757 |
internal_static_serialize_PBReturnValue_fieldAccessorTable; |
3818 |
private static com.google.protobuf.Descriptors.Descriptor |
|
3758 |
private static final com.google.protobuf.Descriptors.Descriptor
|
|
3819 | 3759 |
internal_static_serialize_PBFunctionCall_descriptor; |
3820 | 3760 |
private static |
3821 | 3761 |
com.google.protobuf.GeneratedMessage.FieldAccessorTable |
3822 | 3762 |
internal_static_serialize_PBFunctionCall_fieldAccessorTable; |
3823 |
private static com.google.protobuf.Descriptors.Descriptor |
|
3763 |
private static final com.google.protobuf.Descriptors.Descriptor
|
|
3824 | 3764 |
internal_static_serialize_PBAstTraversal_descriptor; |
3825 | 3765 |
private static |
3826 | 3766 |
com.google.protobuf.GeneratedMessage.FieldAccessorTable |
... | ... | |
3852 | 3792 |
"nValue\"O\n\016PBAstTraversal\022(\n\005calls\030\001 \003(\0132" + |
3853 | 3793 |
"\031.serialize.PBFunctionCall\022\023\n\013main_modul" + |
3854 | 3794 |
"e\030\002 \002(\004*6\n\014PBReturnType\022\024\n\020type_voidPoin" + |
3855 |
"ter\020\001\022\020\n\014type_boolean\020\002BH\n0at.ac.ait.mom" +
|
|
3856 |
"ut.ooas.argos.codegen.serialize.genB\024Rec",
|
|
3857 |
"ordedAstTraversal"
|
|
3795 |
"ter\020\001\022\020\n\014type_boolean\020\002B?\n\'org.momut.ooa" +
|
|
3796 |
"s.codegen.ast.protobuf.genB\024RecordedAstT",
|
|
3797 |
"raversal" |
|
3858 | 3798 |
}; |
3859 | 3799 |
final com.google.protobuf.Descriptors.FileDescriptor.InternalDescriptorAssigner assigner = |
3860 |
new com.google.protobuf.Descriptors.FileDescriptor.InternalDescriptorAssigner() {
|
|
3861 |
@Override |
|
3800 |
new com.google.protobuf.Descriptors.FileDescriptor. InternalDescriptorAssigner() {
|
|
3801 |
@Override
|
|
3862 | 3802 |
public com.google.protobuf.ExtensionRegistry assignDescriptors( |
3863 |
com.google.protobuf.Descriptors.FileDescriptor root) { |
|
3864 |
descriptor = root; |
|
3865 |
internal_static_serialize_PBParameter_descriptor = |
|
3866 |
getDescriptor().getMessageTypes().get(0); |
|
3867 |
internal_static_serialize_PBParameter_fieldAccessorTable = new |
|
3868 |
com.google.protobuf.GeneratedMessage.FieldAccessorTable( |
|
3869 |
internal_static_serialize_PBParameter_descriptor, |
|
3870 |
new java.lang.String[] { "Uint64Value", "LiteralValue", "BoolValue", "Int32Value", "Uint32Value", }); |
|
3871 |
internal_static_serialize_PBReturnValue_descriptor = |
|
3872 |
getDescriptor().getMessageTypes().get(1); |
|
3873 |
internal_static_serialize_PBReturnValue_fieldAccessorTable = new |
|
3874 |
com.google.protobuf.GeneratedMessage.FieldAccessorTable( |
|
3875 |
internal_static_serialize_PBReturnValue_descriptor, |
|
3876 |
new java.lang.String[] { "ReturnType", "ReturnId", }); |
|
3877 |
internal_static_serialize_PBFunctionCall_descriptor = |
|
3878 |
getDescriptor().getMessageTypes().get(2); |
|
3879 |
internal_static_serialize_PBFunctionCall_fieldAccessorTable = new |
|
3880 |
com.google.protobuf.GeneratedMessage.FieldAccessorTable( |
|
3881 |
internal_static_serialize_PBFunctionCall_descriptor, |
|
3882 |
new java.lang.String[] { "Add", "Allocate", "Identifier", "Type", "Statement", "Expression", "Parameters", "ReturnValue", }); |
|
3883 |
internal_static_serialize_PBAstTraversal_descriptor = |
|
3884 |
getDescriptor().getMessageTypes().get(3); |
|
3885 |
internal_static_serialize_PBAstTraversal_fieldAccessorTable = new |
|
3886 |
com.google.protobuf.GeneratedMessage.FieldAccessorTable( |
|
3887 |
internal_static_serialize_PBAstTraversal_descriptor, |
|
3888 |
new java.lang.String[] { "Calls", "MainModule", }); |
|
3889 |
return null; |
|
3890 |
} |
|
3891 |
}; |
|
3803 |
com.google.protobuf.Descriptors.FileDescriptor root) { |
|
3804 |
descriptor = root; |
|
3805 |
return null; |
|
3806 |
} |
|
3807 |
}; |
|
3892 | 3808 |
com.google.protobuf.Descriptors.FileDescriptor |
3893 | 3809 |
.internalBuildGeneratedFileFrom(descriptorData, |
3894 | 3810 |
new com.google.protobuf.Descriptors.FileDescriptor[] { |
3895 | 3811 |
org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.getDescriptor(), |
3896 | 3812 |
}, assigner); |
3813 |
internal_static_serialize_PBParameter_descriptor = |
|
3814 |
getDescriptor().getMessageTypes().get(0); |
|
3815 |
internal_static_serialize_PBParameter_fieldAccessorTable = new |
|
3816 |
com.google.protobuf.GeneratedMessage.FieldAccessorTable( |
|
3817 |
internal_static_serialize_PBParameter_descriptor, |
|
3818 |
new java.lang.String[] { "Uint64Value", "LiteralValue", "BoolValue", "Int32Value", "Uint32Value", }); |
|
3819 |
internal_static_serialize_PBReturnValue_descriptor = |
|
3820 |
getDescriptor().getMessageTypes().get(1); |
|
3821 |
internal_static_serialize_PBReturnValue_fieldAccessorTable = new |
|
3822 |
com.google.protobuf.GeneratedMessage.FieldAccessorTable( |
|
3823 |
internal_static_serialize_PBReturnValue_descriptor, |
|
3824 |
new java.lang.String[] { "ReturnType", "ReturnId", }); |
|
3825 |
internal_static_serialize_PBFunctionCall_descriptor = |
|
3826 |
getDescriptor().getMessageTypes().get(2); |
|
3827 |
internal_static_serialize_PBFunctionCall_fieldAccessorTable = new |
|
3828 |
com.google.protobuf.GeneratedMessage.FieldAccessorTable( |
|
3829 |
internal_static_serialize_PBFunctionCall_descriptor, |
|
3830 |
new java.lang.String[] { "Add", "Allocate", "Identifier", "Type", "Statement", "Expression", "Parameters", "ReturnValue", }); |
|
3831 |
internal_static_serialize_PBAstTraversal_descriptor = |
|
3832 |
getDescriptor().getMessageTypes().get(3); |
|
3833 |
internal_static_serialize_PBAstTraversal_fieldAccessorTable = new |
|
3834 |
com.google.protobuf.GeneratedMessage.FieldAccessorTable( |
|
3835 |
internal_static_serialize_PBAstTraversal_descriptor, |
|
3836 |
new java.lang.String[] { "Calls", "MainModule", }); |
|
3837 |
org.momut.ooas.codegen.ast.protobuf.gen.FunctionNames.getDescriptor(); |
|
3897 | 3838 |
} |
3898 | 3839 |
|
3899 | 3840 |
// @@protoc_insertion_point(outer_class_scope) |
trunk/compiler/ooasCompiler/src/org/momut/ooas/codegen/ast/protobuf/AstProtoBufRecorder.java | ||
---|---|---|
83 | 83 |
} |
84 | 84 |
|
85 | 85 |
private PBParameter.Builder stringParameter(String text){ |
86 |
return PBParameter.newBuilder().setLiteralValue(text); |
|
86 |
return PBParameter.newBuilder().setLiteralValue(text == null ? "" : text);
|
|
87 | 87 |
} |
88 | 88 |
|
89 | 89 |
private PBParameter.Builder boolParameter(boolean value){ |
... | ... | |
594 | 594 |
} |
595 | 595 |
|
596 | 596 |
@Override |
597 |
public boolean initMetaType(Long typeId, Long identifierRef, |
|
598 |
boolean anonymousType, Long innerTypeRef) { |
|
599 |
|
|
600 |
// DLL bool TIRESIAS_INIT_METATYPE(void* context, void* typeId, |
|
601 |
// void* identifierRef, bool anonymousType, |
|
602 |
// void* innerTypeRef); |
|
603 |
boolCall(PBTypes.TIRESIAS_INIT_METATYPE |
|
604 |
, referenceParameter(typeId) |
|
605 |
, referenceParameter(identifierRef) |
|
606 |
, boolParameter(anonymousType) |
|
607 |
, referenceParameter(innerTypeRef)); |
|
608 |
|
|
609 |
return true; |
|
610 |
} |
|
611 |
|
|
612 |
@Override |
|
597 | 613 |
public boolean initTupleType(Long typeId, Long identifierRef, |
598 | 614 |
boolean anonymousType, Long typeListRef) { |
599 | 615 |
|
... | ... | |
840 | 856 |
|
841 | 857 |
@Override |
842 | 858 |
public boolean initTypeExpression(Long expr, int line, int pos, |
843 |
Long typeRef, Long callTargetsIdentifierListRef, Long symbTabRef) { |
|
859 |
Long typeRef, Long callTargetsIdentifierListRef, Long symbTabRef, Long referredTypeRef) {
|
|
844 | 860 |
|
845 | 861 |
// DLL bool TIRESIAS_INIT_TYPEEXPRESSION(void* context, |
846 | 862 |
// void* expr, std::int32_t line, std::int32_t pos, void* typeRef, |
847 |
// void* callTargetsIdentifierListRef, void* symbTabRef); |
|
863 |
// void* callTargetsIdentifierListRef, void* symbTabRef, void* referredTypeRef);
|
|
848 | 864 |
|
849 | 865 |
boolCall(PBExpressions.TIRESIAS_INIT_TYPEEXPRESSION |
850 | 866 |
, referenceParameter(expr) |
... | ... | |
852 | 868 |
, int32Parameter(pos) |
853 | 869 |
, referenceParameter(typeRef) |
854 | 870 |
, referenceParameter(callTargetsIdentifierListRef) |
855 |
, referenceParameter(symbTabRef)); |
|
871 |
, referenceParameter(symbTabRef) |
|
872 |
, referenceParameter(referredTypeRef)); |
|
856 | 873 |
return true; |
857 | 874 |
} |
858 | 875 |
|
trunk/compiler/ooasCompiler/src/org/momut/ooas/codegen/ast/IAstDuplicator.java | ||
---|---|---|
242 | 242 |
T innerTypeRef, |
243 | 243 |
int maxNumberOfElements); |
244 | 244 |
|
245 |
/** Initialize a meta type */ |
|
246 |
boolean initMetaType( |
|
247 |
T typeId, |
|
248 |
T identifierRef, |
|
249 |
boolean anonymousType, |
|
250 |
T innerTypeRef); |
|
251 |
|
|
245 | 252 |
/** Initialize a tuple type */ |
246 | 253 |
boolean initTupleType( |
247 | 254 |
T typeId, |
... | ... | |
367 | 374 |
int pos, |
368 | 375 |
T typeRef, |
369 | 376 |
T callTargetsIdentifierListRef, |
370 |
T symbTabRef); |
|
377 |
T symbTabRef, |
|
378 |
T referredTypeRef); |
|
371 | 379 |
|
372 | 380 |
/** Initialize an identifier expression */ |
373 | 381 |
boolean initIdentifierExpression( |
trunk/compiler/ooasCompiler/src/org/momut/ooas/codegen/ast/OoaAstEmitter.java | ||
---|---|---|
93 | 93 |
import org.momut.ooas.ast.types.IntType; |
94 | 94 |
import org.momut.ooas.ast.types.ListType; |
95 | 95 |
import org.momut.ooas.ast.types.MapType; |
96 |
import org.momut.ooas.ast.types.MetaType; |
|
96 | 97 |
import org.momut.ooas.ast.types.NullType; |
97 | 98 |
import org.momut.ooas.ast.types.OoActionSystemInstance; |
98 | 99 |
import org.momut.ooas.ast.types.OoActionSystemType; |
... | ... | |
645 | 646 |
listType.maxNumberOfElements()); |
646 | 647 |
} |
647 | 648 |
|
649 |
@Override |
|
650 |
public void visit(MetaType metaType) |
|
651 |
{ |
|
652 |
final T type = createType(metaType); |
|
648 | 653 |
|
654 |
final Identifier id = metaType.identifier(); |
|
655 |
VisitSub(id, metaType); |
|
656 |
VisitSub(metaType.Type(), metaType); |
|
657 |
|
|
658 |
m_copier.initMetaType( |
|
659 |
type, |
|
660 |
m_convertedIdentifiers.get(id), |
|
661 |
metaType.isAnonymousType(), |
|
662 |
m_convertedTypes.get(metaType.Type())); |
|
663 |
} |
|
664 |
|
|
665 |
|
|
649 | 666 |
@Override |
650 | 667 |
public void visit(TupleType tupleType) |
651 | 668 |
{ |
... | ... | |
1007 | 1024 |
{ |
1008 | 1025 |
final T expr = createExpression(typeExpression); |
1009 | 1026 |
final ExprData d = visitBasicExpression(typeExpression); |
1027 |
VisitSub(typeExpression.referredType(), typeExpression); |
|
1028 |
|
|
1010 | 1029 |
m_copier.initTypeExpression( |
1011 | 1030 |
expr, |
1012 | 1031 |
d.line, |
1013 | 1032 |
d.pos, |
1014 | 1033 |
d.typeRef, |
1015 | 1034 |
d.callTargetsIdentifierListRef, |
1016 |
d.symbTabRef); |
|
1035 |
d.symbTabRef, |
|
1036 |
m_convertedTypes.get(typeExpression.referredType())); |
|
1017 | 1037 |
} |
1018 | 1038 |
|
1019 | 1039 |
@Override |
trunk/compiler/ooasCompiler/src/org/momut/ooas/codegen/cadp/CadpExpression.java | ||
---|---|---|
213 | 213 |
@Override |
214 | 214 |
public void visit(TypeExpression typeExpression) |
215 | 215 |
{ |
216 |
m_emitter.Append(typeExpression.type().identifier().tokenText());
|
|
216 |
m_emitter.Append(typeExpression.referredType().identifier().tokenText());
|
|
217 | 217 |
} |
218 | 218 |
|
219 | 219 |
@Override |
... | ... | |
438 | 438 |
{ |
439 | 439 |
// if this instanceof some "<enumType>.<enumValue>" access, then just print the numeric value of <enumValue> |
440 | 440 |
if (accessExpression.left().kind() == ExpressionKind.Type && |
441 |
((TypeExpression)accessExpression.left()).type().kind() == TypeKind.EnumeratedType )
|
|
441 |
((TypeExpression)accessExpression.left()).referredType().kind() == TypeKind.EnumeratedType )
|
|
442 | 442 |
{ |
443 | 443 |
accessExpression.right().Accept(this); |
444 | 444 |
return; |
trunk/compiler/ooasCompiler/src/org/momut/ooas/codegen/java/JavaExpression.java | ||
---|---|---|
184 | 184 |
@Override |
185 | 185 |
public void visit(TypeExpression typeExpression) |
186 | 186 |
{ |
187 |
if (typeExpression.type().kind() != TypeKind.EnumeratedType)
|
|
188 |
m_emitter.Append(GetIdentifierString(typeExpression.type().identifier().tokenText()));
|
|
187 |
if (typeExpression.referredType().kind() != TypeKind.EnumeratedType)
|
|
188 |
m_emitter.Append(GetIdentifierString(typeExpression.referredType().identifier().tokenText()));
|
|
189 | 189 |
} |
190 | 190 |
|
191 | 191 |
|
... | ... | |
315 | 315 |
@Override |
316 | 316 |
public void visit(AccessExpression accessExpression) |
317 | 317 |
{ |
318 |
if (accessExpression.left().type().kind() != TypeKind.EnumeratedType) |
|
318 |
if (accessExpression.left().type().kind() != TypeKind.MetaType) |
|
319 |
// if (accessExpression.left().type().kind() != TypeKind.EnumeratedType) |
|
319 | 320 |
{ |
320 | 321 |
// enums and qr types are directly (statically) converted to nums... |
321 | 322 |
VisitSub(accessExpression.left(), accessExpression); |
trunk/compiler/ooasCompiler/src/org/momut/ooas/codegen/prolog/OoaPrologExpression.java | ||
---|---|---|
53 | 53 |
import org.momut.ooas.ast.identifiers.IdentifierKind; |
54 | 54 |
import org.momut.ooas.ast.types.EnumType; |
55 | 55 |
import org.momut.ooas.ast.types.FunctionType; |
56 |
import org.momut.ooas.ast.types.MetaType; |
|
56 | 57 |
import org.momut.ooas.ast.types.TypeKind; |
57 | 58 |
import org.momut.ooas.ast.types.Type; |
58 | 59 |
import org.momut.ooas.ast.types.ValuedEnumType; |
... | ... | |
282 | 283 |
@Override |
283 | 284 |
public void visit(TypeExpression typeExpression) |
284 | 285 |
{ |
285 |
if (typeExpression.type().kind() != TypeKind.EnumeratedType)
|
|
286 |
if (typeExpression.referredType().kind() != TypeKind.EnumeratedType)
|
|
286 | 287 |
{ |
287 |
m_emitter.Append(GetIdentifierString(typeExpression.type().identifier()));
|
|
288 |
m_emitter.Append(GetIdentifierString(typeExpression.referredType().identifier()));
|
|
288 | 289 |
} |
289 | 290 |
} |
290 | 291 |
|
... | ... | |
411 | 412 |
@Override |
412 | 413 |
public void visit(AccessExpression accessExpression) |
413 | 414 |
{ |
414 |
if (accessExpression.left().type().kind() != TypeKind.EnumeratedType &&
|
|
415 |
if (!(accessExpression.left().type().kind() == TypeKind.MetaType && ((MetaType)accessExpression.left().type()).Type().kind() == TypeKind.EnumeratedType ) &&
|
|
415 | 416 |
!(accessExpression.right().kind() == ExpressionKind.Identifier && |
416 | 417 |
((IdentifierExpression)accessExpression.right()).identifier().kind() == IdentifierKind.AttributeIdentifier)) |
417 | 418 |
{ |
trunk/compiler/ooasCompiler/src/org/momut/ooas/math/Operations.java | ||
---|---|---|
57 | 57 |
@Override |
58 | 58 |
public AbstractRange GenericArithmeticCover(AbstractRange type1, AbstractRange type2, ExpressionKind op) |
59 | 59 |
{ |
60 |
Range<T> a = (Range<T>) type1; |
|
61 |
Range<T> b = (Range<T>) type2; |
|
60 |
final Range<T> a = (Range<T>) type1;
|
|
61 |
final Range<T> b = (Range<T>) type2;
|
|
62 | 62 |
|
63 | 63 |
// Range<T> a = type1 as Range<T>; |
64 | 64 |
// Range<T> b = type2 as Range<T>; |
... | ... | |
71 | 71 |
|
72 | 72 |
public Range<T> GenericArithmeticCover(Range<T> type1, Range<T> type2, ExpressionKind op) |
73 | 73 |
{ |
74 |
T defaultValue = m_basicOperations.getDefaultValue(); |
|
75 |
Range<T> result = type1.Create(defaultValue, defaultValue); |
|
74 |
final T defaultValue = m_basicOperations.getDefaultValue();
|
|
75 |
final Range<T> result = type1.Create(defaultValue, defaultValue);
|
|
76 | 76 |
|
77 | 77 |
switch (op) |
78 | 78 |
{ |
... | ... | |
87 | 87 |
assert(type2 != null); |
88 | 88 |
// we do some sort of resulttype = type1 - type2 |
89 | 89 |
// hence, do the unminus stuff with type 2 |
90 |
T spare = type2.max; |
|
90 |
final T spare = type2.max;
|
|
91 | 91 |
type2.max = m_basicOperations.unMinus(type2.min); |
92 | 92 |
type2.min = m_basicOperations.unMinus(spare); |
93 | 93 |
// now it's the same as with sum.. but c# does not let us fall through.. |
... | ... | |
101 | 101 |
break; |
102 | 102 |
case idiv: |
103 | 103 |
case div: |
104 |
// get the closest values to 0 for the divisor. |
|
104 | 105 |
assert(type2 != null); |
105 |
type2.min = m_basicOperations.equal(type2.min, defaultValue) ? |
|
106 |
m_basicOperations.unMinus(type2.precision) : type2.min; |
|
107 |
type2.max = m_basicOperations.equal(type2.max, defaultValue) ? |
|
108 |
type2.precision : type2.max; |
|
109 |
// hmm, brute force.. is there some formula? |
|
110 |
result.max = m_basicOperations.div(type1.min, type2.min); |
|
106 |
final Range<T> closestToZero = type2.Create(defaultValue, defaultValue); |
|
107 |
if (m_basicOperations.greater(type2.max, defaultValue) && (m_basicOperations.greater(type2.min, defaultValue) || m_basicOperations.equal(type2.min, defaultValue))) { |
|
108 |
// divisor range [X...0+] |
|
109 |
closestToZero.max = m_basicOperations.equal(type2.min, defaultValue) ? type2.precision : type2.min; // type2.min or type2.precision if that was 0 |
|
110 |
closestToZero.min = closestToZero.max; |
|
111 |
} else if (m_basicOperations.smaller(type2.max, defaultValue) && (m_basicOperations.smaller(type2.min, defaultValue) || m_basicOperations.equal(type2.min, defaultValue))) { |
|
112 |
// divisor range [0-...-X] |
|
113 |
closestToZero.max = m_basicOperations.equal(type2.min, defaultValue) ? m_basicOperations.unMinus(type2.precision) : type2.min; // type2.min or -type2.precision if that was 0 |
|
114 |
closestToZero.min = closestToZero.max; |
|
115 |
} else { |
|
116 |
// divisor range [Y ... -X] |
|
117 |
closestToZero.max = type2.precision; |
|
118 |
closestToZero.min = m_basicOperations.unMinus(type2.precision); |
|
119 |
} |
|
120 |
|
|
121 |
result.max = m_basicOperations.div(type1.min, closestToZero.min); |
|
111 | 122 |
result.min = result.max; |
112 | 123 |
|
113 |
T tmp = m_basicOperations.div(type1.max, type2.min);
|
|
124 |
T tmp = m_basicOperations.div(type1.max, closestToZero.min);
|
|
114 | 125 |
result.max = m_basicOperations.smaller(result.max, tmp) ? tmp : result.max; |
115 | 126 |
result.min = m_basicOperations.greater(result.min, tmp) ? tmp : result.min; |
116 | 127 |
|
117 |
tmp = m_basicOperations.div(type1.min, type2.max);
|
|
128 |
tmp = m_basicOperations.div(type1.min, closestToZero.max);
|
|
118 | 129 |
result.max = m_basicOperations.smaller(result.max, tmp) ? tmp : result.max; |
119 | 130 |
result.min = m_basicOperations.greater(result.min, tmp) ? tmp : result.min; |
120 | 131 |
|
121 |
tmp = m_basicOperations.div(type1.max, type2.max);
|
|
132 |
tmp = m_basicOperations.div(type1.max, closestToZero.max);
|
|
122 | 133 |
result.max = m_basicOperations.smaller(result.max, tmp) ? tmp : result.max; |
123 | 134 |
result.min = m_basicOperations.greater(result.min, tmp) ? tmp : result.min; |
124 | 135 |
break; |
trunk/compiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g | ||
---|---|---|
20 | 20 |
|
21 | 21 |
History |
22 | 22 |
~~~~~~~ |
23 |
Changes 1.09 to 1.10 |
|
24 |
- allow actions to be declared with empty parameter lists and "()" |
|
25 |
|
|
26 |
Changes 1.08 to 1.09 |
|
27 |
~ fix actionBody rule to allow multiple prioritized compositions (replace "?" by "*") |
|
28 |
|
|
23 | 29 |
Changes 1.07 to 1.08 |
24 | 30 |
~ remove support for Qualitative Action Systems |
25 | 31 |
|
... | ... | |
140 | 146 |
Ulysses OO-Action System Parser |
141 | 147 |
|
142 | 148 |
Copyright Graz University of Technology 2009 |
143 |
Copyright AIT Austrian Institute of Technology 2013 |
|
149 |
Copyright AIT Austrian Institute of Technology 2013, 2016 |
Also available in: Unified diff
latest version of the ooas compiler, with grammar version 1.10