CPD Results
The following document contains the results of PMD's CPD
4.2.2.
Duplications
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
5805
|
| org\overturetool\traces\Eval.java |
6479
|
private SEM.VAL EvalDInter (final SEM.VAL val, final IOmlUnaryExpression expr) throws CGException {
Boolean cond_3 = null;
Boolean var1_4 = null;
if ((val instanceof Record))
var1_4 = new Boolean(((Object) val instanceof SEM.SET));
else
var1_4 = new Boolean(false);
{
if ((cond_3 = var1_4).booleanValue()) {
Boolean var2_6 = null;
boolean tmpQuant_7 = true;
{
boolean succ_10 = true;
Object e_set_11 = null;
if ((val instanceof Record))
if ((val instanceof SEM.TUPLE))
e_set_11 = ((SEM.TUPLE) val).v;
else
if ((val instanceof SEM.TOKEN))
e_set_11 = ((SEM.TOKEN) val).v;
else
if ((val instanceof SEM.QUOTE))
e_set_11 = UTIL.ConvertToList(((SEM.QUOTE) val).v);
else
if ((val instanceof SEM.CHAR))
e_set_11 = ((SEM.CHAR) val).v;
else
if ((val instanceof SEM.BOOL))
e_set_11 = ((SEM.BOOL) val).v;
else
if ((val instanceof SEM.SET))
e_set_11 = ((SEM.SET) val).v;
else
if ((val instanceof SEM.SEQ))
e_set_11 = ((SEM.SEQ) val).v;
else
if ((val instanceof SEM.REC))
e_set_11 = ((SEM.REC) val).v;
else
if ((val instanceof SEM.NUM))
e_set_11 = ((SEM.NUM) val).v;
else
e_set_11 = ((SEM.MAP) val).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
HashSet e1_set_13 = new HashSet();
if ((e_set_11 instanceof HashSet))
e1_set_13 = (HashSet) e_set_11;
else
UTIL.RunTime("Run-Time Error:A set was expected");
SEM.VAL s = null;
{
for (Iterator enm_15 = e1_set_13.iterator(); enm_15.hasNext() && tmpQuant_7; ) {
Object elem_14 = enm_15.next();
succ_10 = true;
if (new Boolean((elem_14 instanceof Record)).booleanValue())
s = (SEM.VAL) elem_14;
else
succ_10 = false;
if (succ_10) {
Boolean pred_8 = null;
if ((s instanceof Record))
pred_8 = new Boolean(((Object) s instanceof SEM.SET));
else
pred_8 = new Boolean(false);
if (!pred_8.booleanValue())
tmpQuant_7 = false;
}
}
}
}
var2_6 = new Boolean(tmpQuant_7);
cond_3 = var2_6;
}
}
if (cond_3.booleanValue()) {
SEM.SET rexpr_28 = null;
HashSet tmpVar_29 = new HashSet();
HashSet unArg_30 = new HashSet();
HashSet res_s_31 = new HashSet();
{
boolean succ_34 = true;
Object e_set_35 = null;
if ((val instanceof Record))
if ((val instanceof SEM.TUPLE))
e_set_35 = ((SEM.TUPLE) val).v;
else
if ((val instanceof SEM.TOKEN))
e_set_35 = ((SEM.TOKEN) val).v;
else
if ((val instanceof SEM.QUOTE))
e_set_35 = UTIL.ConvertToList(((SEM.QUOTE) val).v);
else
if ((val instanceof SEM.CHAR))
e_set_35 = ((SEM.CHAR) val).v;
else
if ((val instanceof SEM.BOOL))
e_set_35 = ((SEM.BOOL) val).v;
else
if ((val instanceof SEM.SET))
e_set_35 = ((SEM.SET) val).v;
else
if ((val instanceof SEM.SEQ))
e_set_35 = ((SEM.SEQ) val).v;
else
if ((val instanceof SEM.REC))
e_set_35 = ((SEM.REC) val).v;
else
if ((val instanceof SEM.NUM))
e_set_35 = ((SEM.NUM) val).v;
else
e_set_35 = ((SEM.MAP) val).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
HashSet e1_set_37 = new HashSet();
if ((e_set_35 instanceof HashSet))
e1_set_37 = (HashSet) e_set_35;
else
UTIL.RunTime("Run-Time Error:A set was expected");
SEM.VAL s = null;
{
for (Iterator enm_39 = e1_set_37.iterator(); enm_39.hasNext(); ) {
Object elem_38 = enm_39.next();
succ_34 = true;
if (new Boolean((elem_38 instanceof Record)).booleanValue())
s = (SEM.VAL) elem_38;
else
succ_34 = false;
if (succ_34) {
Object res_s_32 = null;
if ((s instanceof Record))
if ((s instanceof SEM.TUPLE))
res_s_32 = ((SEM.TUPLE) s).v;
else
if ((s instanceof SEM.TOKEN))
res_s_32 = ((SEM.TOKEN) s).v;
else
if ((s instanceof SEM.QUOTE))
res_s_32 = UTIL.ConvertToList(((SEM.QUOTE) s).v);
else
if ((s instanceof SEM.CHAR))
res_s_32 = ((SEM.CHAR) s).v;
else
if ((s instanceof SEM.BOOL))
res_s_32 = ((SEM.BOOL) s).v;
else
if ((s instanceof SEM.SET))
res_s_32 = ((SEM.SET) s).v;
else
if ((s instanceof SEM.SEQ))
res_s_32 = ((SEM.SEQ) s).v;
else
if ((s instanceof SEM.REC))
res_s_32 = ((SEM.REC) s).v;
else
if ((s instanceof SEM.NUM))
res_s_32 = ((SEM.NUM) s).v;
else
res_s_32 = ((SEM.MAP) s).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
res_s_31.add(res_s_32);
}
}
}
}
unArg_30 = res_s_31;
HashSet rdiset_40 = (HashSet) ((HashSet) (Object) unArg_30.iterator().next()).clone();
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2428
|
| org\overturetool\traces\Eval.java |
2859
|
private SEM.VAL EvalDifference (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.SET));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.SET));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.SET rexpr_14 = null;
HashSet tmpVar_15 = new HashSet();
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = (HashSet) ((HashSet) var1_16).clone();
tmpVar_15.removeAll((HashSet) var2_18);
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2191
|
| org\overturetool\traces\Eval.java |
4550
|
private SEM.VAL EvalDiv (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.NUM));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.NUM));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.NUM rexpr_14 = null;
Long tmpVar_15 = null;
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = new Long((int) (UTIL.NumberToLong((Number) var1_16).intValue() / UTIL.NumberToLong((Number) var2_18).intValue()));
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2088
|
| org\overturetool\traces\Eval.java |
3261
|
private SEM.VAL EvalSubset (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.SET));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.SET));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.BOOL rexpr_14 = null;
Boolean tmpVar_15 = null;
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = new Boolean(((HashSet) var2_18).containsAll((HashSet) var1_16));
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
1697
|
| org\overturetool\traces\Eval.java |
4093
|
private SEM.VAL EvalLE (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.NUM));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.NUM));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.BOOL rexpr_14 = null;
Boolean tmpVar_15 = null;
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = new Boolean((((Number) var1_16).doubleValue()) <= (((Number) var2_18).doubleValue()));
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2541
|
| org\overturetool\traces\Eval.java |
4196
|
private SEM.VAL EvalDivide (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.NUM));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.NUM));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.NUM rexpr_14 = null;
Double tmpVar_15 = null;
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = new Double(((Number) var1_16).doubleValue() / ((Number) var2_18).doubleValue());
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2191
|
| org\overturetool\traces\Eval.java |
2644
|
private SEM.VAL EvalRem (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.NUM));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.NUM));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.NUM rexpr_14 = null;
Long tmpVar_15 = null;
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = new Long(UTIL.NumberToLong((Number) var1_16).intValue() % UTIL.NumberToLong((Number) var2_18).intValue());
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2307
|
| org\overturetool\traces\Eval.java |
3377
|
var2_7 = new Boolean(((Object) r_uv instanceof SEM.SET));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.MAP rexpr_22 = null;
HashMap tmpVar_23 = new HashMap();
Object var1_24 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_24 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_24 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_24 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_24 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_24 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_24 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_24 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_24 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_24 = ((SEM.NUM) l_uv).v;
else
var1_24 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_26 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_26 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_26 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_26 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_26 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_26 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_26 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_26 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_26 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_26 = ((SEM.NUM) r_uv).v;
else
var2_26 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_23 = (HashMap) var1_24;
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
1710
|
| org\overturetool\traces\Eval.java |
2101
|
var2_7 = new Boolean(((Object) r_uv instanceof SEM.SET));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.BOOL rexpr_14 = null;
Boolean tmpVar_15 = null;
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = new Boolean(((HashSet) var2_18).containsAll((HashSet) var1_16) && !new Long(((HashSet) var1_16).size()).equals(new Long(((HashSet) var2_18).size())));
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
1719
|
| org\overturetool\traces\Eval.java |
3788
|
Double tmpVar_15 = null;
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = new Double(((Number) var1_16).doubleValue() - ((Number) var2_18).doubleValue());
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
4572
|
| org\overturetool\traces\Eval.java |
4779
|
Vector tmpVar_15 = null;
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = (Vector) ((Vector) var1_16).clone();
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
4438
|
| org\overturetool\traces\Eval.java |
4675
|
HashSet tmpVar_15 = new HashSet();
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = (HashSet) ((HashSet) var1_16).clone();
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
3283
|
| org\overturetool\traces\Eval.java |
4779
|
Vector tmpVar_15 = null;
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = (Vector) ((Vector) var1_16).clone();
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2881
|
| org\overturetool\traces\Eval.java |
4438
|
HashMap tmpVar_15 = new HashMap();
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = (HashMap) var2_18;
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2563
|
| org\overturetool\traces\Eval.java |
4779
|
Vector tmpVar_15 = null;
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = (Vector) ((Vector) var1_16).clone();
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2450
|
| org\overturetool\traces\Eval.java |
4438
|
HashMap tmpVar_15 = new HashMap();
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = (HashMap) var2_18;
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
1719
|
| org\overturetool\traces\Eval.java |
4779
|
Vector tmpVar_15 = null;
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = (Vector) ((Vector) var1_16).clone();
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
4676
|
| org\overturetool\traces\Eval.java |
4780
|
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = (Vector) ((Vector) var1_16).clone();
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
1720
|
| org\overturetool\traces\Eval.java |
2451
|
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_15 = (HashSet) ((HashSet) var1_16).clone();
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2747
|
| org\overturetool\traces\Eval.java |
3981
|
private SEM.VAL EvalOr (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.BOOL));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.BOOL));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.BOOL rexpr_14 = null;
Boolean tmpVar_15 = null;
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
if (!(var1_16 instanceof Boolean))
UTIL.RunTime("Run-Time Error:A boolean was expected");
{
if (!(tmpVar_15 = (Boolean) var1_16).booleanValue()) {
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2747
|
| org\overturetool\traces\Eval.java |
3869
|
private SEM.VAL EvalImply (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.BOOL));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.BOOL));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.BOOL rexpr_14 = null;
Boolean tmpVar_15 = null;
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
if (!(var1_16 instanceof Boolean))
UTIL.RunTime("Run-Time Error:A boolean was expected");
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
5805
|
| org\overturetool\traces\Eval.java |
6252
|
private SEM.VAL EvalMerge (final SEM.VAL val, final IOmlUnaryExpression expr) throws CGException {
Boolean cond_3 = null;
Boolean var1_4 = null;
if ((val instanceof Record))
var1_4 = new Boolean(((Object) val instanceof SEM.SET));
else
var1_4 = new Boolean(false);
{
if ((cond_3 = var1_4).booleanValue()) {
Boolean var2_6 = null;
boolean tmpQuant_7 = true;
{
boolean succ_10 = true;
Object e_set_11 = null;
if ((val instanceof Record))
if ((val instanceof SEM.TUPLE))
e_set_11 = ((SEM.TUPLE) val).v;
else
if ((val instanceof SEM.TOKEN))
e_set_11 = ((SEM.TOKEN) val).v;
else
if ((val instanceof SEM.QUOTE))
e_set_11 = UTIL.ConvertToList(((SEM.QUOTE) val).v);
else
if ((val instanceof SEM.CHAR))
e_set_11 = ((SEM.CHAR) val).v;
else
if ((val instanceof SEM.BOOL))
e_set_11 = ((SEM.BOOL) val).v;
else
if ((val instanceof SEM.SET))
e_set_11 = ((SEM.SET) val).v;
else
if ((val instanceof SEM.SEQ))
e_set_11 = ((SEM.SEQ) val).v;
else
if ((val instanceof SEM.REC))
e_set_11 = ((SEM.REC) val).v;
else
if ((val instanceof SEM.NUM))
e_set_11 = ((SEM.NUM) val).v;
else
e_set_11 = ((SEM.MAP) val).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
HashSet e1_set_13 = new HashSet();
if ((e_set_11 instanceof HashSet))
e1_set_13 = (HashSet) e_set_11;
else
UTIL.RunTime("Run-Time Error:A set was expected");
SEM.VAL m = null;
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
5375
|
| org\overturetool\traces\Eval.java |
5631
|
private SEM.VAL EvalTl (final SEM.VAL val, final IOmlUnaryExpression expr) throws CGException {
Boolean cond_3 = null;
Boolean var1_4 = null;
if ((val instanceof Record))
var1_4 = new Boolean(((Object) val instanceof SEM.SEQ));
else
var1_4 = new Boolean(false);
{
if ((cond_3 = var1_4).booleanValue()) {
Boolean var2_6 = null;
Object var1_7 = null;
if ((val instanceof Record))
if ((val instanceof SEM.TUPLE))
var1_7 = ((SEM.TUPLE) val).v;
else
if ((val instanceof SEM.TOKEN))
var1_7 = ((SEM.TOKEN) val).v;
else
if ((val instanceof SEM.QUOTE))
var1_7 = UTIL.ConvertToList(((SEM.QUOTE) val).v);
else
if ((val instanceof SEM.CHAR))
var1_7 = ((SEM.CHAR) val).v;
else
if ((val instanceof SEM.BOOL))
var1_7 = ((SEM.BOOL) val).v;
else
if ((val instanceof SEM.SET))
var1_7 = ((SEM.SET) val).v;
else
if ((val instanceof SEM.SEQ))
var1_7 = ((SEM.SEQ) val).v;
else
if ((val instanceof SEM.REC))
var1_7 = ((SEM.REC) val).v;
else
if ((val instanceof SEM.NUM))
var1_7 = ((SEM.NUM) val).v;
else
var1_7 = ((SEM.MAP) val).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
var2_6 = new Boolean(!UTIL.equals(var1_7, new Vector()));
cond_3 = var2_6;
}
}
if (cond_3.booleanValue()) {
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2805
|
| org\overturetool\traces\Eval.java |
4039
|
if (!(tmpVar_15 = (Boolean) var1_16).booleanValue()) {
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
if (!(var2_18 instanceof Boolean))
UTIL.RunTime("Run-Time Error:A boolean was expected");
tmpVar_15 = (Boolean) var2_18;
}
}
rexpr_14 = new SEM.BOOL(tmpVar_15);
return (SEM.VAL) rexpr_14;
}
else {
errorLog.ReportError(expr, UTIL.ConvertToString(RTERR.BOOL_uEXPECTED));
SEM.BOOL rexpr_12 = null;
rexpr_12 = new SEM.BOOL(new Boolean(true));
return (SEM.VAL) rexpr_12;
}
}
// ***** VDMTOOLS END Name=EvalOr#3|IOmlBinaryExpression
// ***** VDMTOOLS START Name=EvalGt#3|IOmlBinaryExpression KEEP=NO
private SEM.VAL EvalGt (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
6192
|
| org\overturetool\traces\Eval.java |
6816
|
private SEM.VAL EvalRng (final SEM.VAL val, final IOmlUnaryExpression expr) throws CGException {
Boolean cond_3 = null;
if ((val instanceof Record))
cond_3 = new Boolean(((Object) val instanceof SEM.MAP));
else
cond_3 = new Boolean(false);
if (cond_3.booleanValue()) {
SEM.SET rexpr_10 = null;
HashSet tmpVar_11 = new HashSet();
Object unArg_12 = null;
if ((val instanceof Record))
if ((val instanceof SEM.TUPLE))
unArg_12 = ((SEM.TUPLE) val).v;
else
if ((val instanceof SEM.TOKEN))
unArg_12 = ((SEM.TOKEN) val).v;
else
if ((val instanceof SEM.QUOTE))
unArg_12 = UTIL.ConvertToList(((SEM.QUOTE) val).v);
else
if ((val instanceof SEM.CHAR))
unArg_12 = ((SEM.CHAR) val).v;
else
if ((val instanceof SEM.BOOL))
unArg_12 = ((SEM.BOOL) val).v;
else
if ((val instanceof SEM.SET))
unArg_12 = ((SEM.SET) val).v;
else
if ((val instanceof SEM.SEQ))
unArg_12 = ((SEM.SEQ) val).v;
else
if ((val instanceof SEM.REC))
unArg_12 = ((SEM.REC) val).v;
else
if ((val instanceof SEM.NUM))
unArg_12 = ((SEM.NUM) val).v;
else
unArg_12 = ((SEM.MAP) val).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_11.clear();
tmpVar_11.addAll(((HashMap) unArg_12).values());
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
5272
|
| org\overturetool\traces\Eval.java |
6754
|
private SEM.VAL EvalUMinus (final SEM.VAL val, final IOmlUnaryExpression expr) throws CGException {
Boolean cond_3 = null;
if ((val instanceof Record))
cond_3 = new Boolean(((Object) val instanceof SEM.NUM));
else
cond_3 = new Boolean(false);
if (cond_3.booleanValue()) {
SEM.NUM rexpr_10 = null;
Double tmpVar_11 = null;
Object unArg_12 = null;
if ((val instanceof Record))
if ((val instanceof SEM.TUPLE))
unArg_12 = ((SEM.TUPLE) val).v;
else
if ((val instanceof SEM.TOKEN))
unArg_12 = ((SEM.TOKEN) val).v;
else
if ((val instanceof SEM.QUOTE))
unArg_12 = UTIL.ConvertToList(((SEM.QUOTE) val).v);
else
if ((val instanceof SEM.CHAR))
unArg_12 = ((SEM.CHAR) val).v;
else
if ((val instanceof SEM.BOOL))
unArg_12 = ((SEM.BOOL) val).v;
else
if ((val instanceof SEM.SET))
unArg_12 = ((SEM.SET) val).v;
else
if ((val instanceof SEM.SEQ))
unArg_12 = ((SEM.SEQ) val).v;
else
if ((val instanceof SEM.REC))
unArg_12 = ((SEM.REC) val).v;
else
if ((val instanceof SEM.NUM))
unArg_12 = ((SEM.NUM) val).v;
else
unArg_12 = ((SEM.MAP) val).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
if (!(unArg_12 instanceof Number))
UTIL.RunTime("Run-Time Error:A number was expected");
else
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2963
|
| org\overturetool\traces\Eval.java |
3707
|
private SEM.VAL EvalNotInSet (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
if ((r_uv instanceof Record))
cond_4 = new Boolean(((Object) r_uv instanceof SEM.SET));
else
cond_4 = new Boolean(false);
if (cond_4.booleanValue()) {
SEM.BOOL rexpr_11 = null;
Boolean tmpVar_12 = null;
Object var2_14 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_14 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_14 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_14 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_14 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_14 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_14 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_14 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_14 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_14 = ((SEM.NUM) r_uv).v;
else
var2_14 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_12 = new Boolean(!((HashSet) var2_14).contains(l_uv));
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
5888
|
| org\overturetool\traces\Eval.java |
6335
|
HashMap tmpVar_29 = new HashMap();
HashSet unArg_30 = new HashSet();
HashSet res_s_31 = new HashSet();
{
boolean succ_34 = true;
Object e_set_35 = null;
if ((val instanceof Record))
if ((val instanceof SEM.TUPLE))
e_set_35 = ((SEM.TUPLE) val).v;
else
if ((val instanceof SEM.TOKEN))
e_set_35 = ((SEM.TOKEN) val).v;
else
if ((val instanceof SEM.QUOTE))
e_set_35 = UTIL.ConvertToList(((SEM.QUOTE) val).v);
else
if ((val instanceof SEM.CHAR))
e_set_35 = ((SEM.CHAR) val).v;
else
if ((val instanceof SEM.BOOL))
e_set_35 = ((SEM.BOOL) val).v;
else
if ((val instanceof SEM.SET))
e_set_35 = ((SEM.SET) val).v;
else
if ((val instanceof SEM.SEQ))
e_set_35 = ((SEM.SEQ) val).v;
else
if ((val instanceof SEM.REC))
e_set_35 = ((SEM.REC) val).v;
else
if ((val instanceof SEM.NUM))
e_set_35 = ((SEM.NUM) val).v;
else
e_set_35 = ((SEM.MAP) val).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
HashSet e1_set_37 = new HashSet();
if ((e_set_35 instanceof HashSet))
e1_set_37 = (HashSet) e_set_35;
else
UTIL.RunTime("Run-Time Error:A set was expected");
SEM.VAL m = null;
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
5555
|
| org\overturetool\traces\Eval.java |
6022
|
cond_3 = new Boolean(((Object) val instanceof SEM.SET));
else
cond_3 = new Boolean(false);
if (cond_3.booleanValue()) {
SEM.SET rexpr_10 = null;
HashSet tmpVar_11 = new HashSet();
HashSet res_s_12 = new HashSet();
{
HashSet e_set_16 = new HashSet();
Object unArg_17 = null;
if ((val instanceof Record))
if ((val instanceof SEM.TUPLE))
unArg_17 = ((SEM.TUPLE) val).v;
else
if ((val instanceof SEM.TOKEN))
unArg_17 = ((SEM.TOKEN) val).v;
else
if ((val instanceof SEM.QUOTE))
unArg_17 = UTIL.ConvertToList(((SEM.QUOTE) val).v);
else
if ((val instanceof SEM.CHAR))
unArg_17 = ((SEM.CHAR) val).v;
else
if ((val instanceof SEM.BOOL))
unArg_17 = ((SEM.BOOL) val).v;
else
if ((val instanceof SEM.SET))
unArg_17 = ((SEM.SET) val).v;
else
if ((val instanceof SEM.SEQ))
unArg_17 = ((SEM.SEQ) val).v;
else
if ((val instanceof SEM.REC))
unArg_17 = ((SEM.REC) val).v;
else
if ((val instanceof SEM.NUM))
unArg_17 = ((SEM.NUM) val).v;
else
unArg_17 = ((SEM.MAP) val).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
HashSet rpowset_19 = new HashSet();
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
5750
|
| org\overturetool\traces\Eval.java |
6116
|
cond_3 = new Boolean(((Object) val instanceof SEM.SEQ));
else
cond_3 = new Boolean(false);
if (cond_3.booleanValue()) {
SEM.NUM rexpr_10 = null;
Long tmpVar_11 = null;
Object unArg_12 = null;
if ((val instanceof Record))
if ((val instanceof SEM.TUPLE))
unArg_12 = ((SEM.TUPLE) val).v;
else
if ((val instanceof SEM.TOKEN))
unArg_12 = ((SEM.TOKEN) val).v;
else
if ((val instanceof SEM.QUOTE))
unArg_12 = UTIL.ConvertToList(((SEM.QUOTE) val).v);
else
if ((val instanceof SEM.CHAR))
unArg_12 = ((SEM.CHAR) val).v;
else
if ((val instanceof SEM.BOOL))
unArg_12 = ((SEM.BOOL) val).v;
else
if ((val instanceof SEM.SET))
unArg_12 = ((SEM.SET) val).v;
else
if ((val instanceof SEM.SEQ))
unArg_12 = ((SEM.SEQ) val).v;
else
if ((val instanceof SEM.REC))
unArg_12 = ((SEM.REC) val).v;
else
if ((val instanceof SEM.NUM))
unArg_12 = ((SEM.NUM) val).v;
else
unArg_12 = ((SEM.MAP) val).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_11 = new Long(((Vector) unArg_12).size());
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
1710
|
| org\overturetool\traces\Eval.java |
2760
|
var2_7 = new Boolean(((Object) r_uv instanceof SEM.BOOL));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.BOOL rexpr_14 = null;
Boolean tmpVar_15 = null;
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2805
|
| org\overturetool\traces\Eval.java |
3926
|
if (((Boolean) var1_16).booleanValue()) {
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
if (!(var2_18 instanceof Boolean))
UTIL.RunTime("Run-Time Error:A boolean was expected");
tmpVar_15 = (Boolean) var2_18;
}
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
5492
|
| org\overturetool\traces\Eval.java |
6196
|
cond_3 = new Boolean(((Object) val instanceof SEM.MAP));
else
cond_3 = new Boolean(false);
if (cond_3.booleanValue()) {
SEM.SET rexpr_10 = null;
HashSet tmpVar_11 = new HashSet();
Object unArg_12 = null;
if ((val instanceof Record))
if ((val instanceof SEM.TUPLE))
unArg_12 = ((SEM.TUPLE) val).v;
else
if ((val instanceof SEM.TOKEN))
unArg_12 = ((SEM.TOKEN) val).v;
else
if ((val instanceof SEM.QUOTE))
unArg_12 = UTIL.ConvertToList(((SEM.QUOTE) val).v);
else
if ((val instanceof SEM.CHAR))
unArg_12 = ((SEM.CHAR) val).v;
else
if ((val instanceof SEM.BOOL))
unArg_12 = ((SEM.BOOL) val).v;
else
if ((val instanceof SEM.SET))
unArg_12 = ((SEM.SET) val).v;
else
if ((val instanceof SEM.SEQ))
unArg_12 = ((SEM.SEQ) val).v;
else
if ((val instanceof SEM.REC))
unArg_12 = ((SEM.REC) val).v;
else
if ((val instanceof SEM.NUM))
unArg_12 = ((SEM.NUM) val).v;
else
unArg_12 = ((SEM.MAP) val).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
5750
|
| org\overturetool\traces\Eval.java |
6880
|
cond_3 = new Boolean(((Object) val instanceof SEM.NUM));
else
cond_3 = new Boolean(false);
if (cond_3.booleanValue()) {
SEM.NUM rexpr_10 = null;
Long tmpVar_11 = null;
Object unArg_12 = null;
if ((val instanceof Record))
if ((val instanceof SEM.TUPLE))
unArg_12 = ((SEM.TUPLE) val).v;
else
if ((val instanceof SEM.TOKEN))
unArg_12 = ((SEM.TOKEN) val).v;
else
if ((val instanceof SEM.QUOTE))
unArg_12 = UTIL.ConvertToList(((SEM.QUOTE) val).v);
else
if ((val instanceof SEM.CHAR))
unArg_12 = ((SEM.CHAR) val).v;
else
if ((val instanceof SEM.BOOL))
unArg_12 = ((SEM.BOOL) val).v;
else
if ((val instanceof SEM.SET))
unArg_12 = ((SEM.SET) val).v;
else
if ((val instanceof SEM.SEQ))
unArg_12 = ((SEM.SEQ) val).v;
else
if ((val instanceof SEM.REC))
unArg_12 = ((SEM.REC) val).v;
else
if ((val instanceof SEM.NUM))
unArg_12 = ((SEM.NUM) val).v;
else
unArg_12 = ((SEM.MAP) val).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
6764
|
| org\overturetool\traces\Eval.java |
6886
|
Long tmpVar_11 = null;
Object unArg_12 = null;
if ((val instanceof Record))
if ((val instanceof SEM.TUPLE))
unArg_12 = ((SEM.TUPLE) val).v;
else
if ((val instanceof SEM.TOKEN))
unArg_12 = ((SEM.TOKEN) val).v;
else
if ((val instanceof SEM.QUOTE))
unArg_12 = UTIL.ConvertToList(((SEM.QUOTE) val).v);
else
if ((val instanceof SEM.CHAR))
unArg_12 = ((SEM.CHAR) val).v;
else
if ((val instanceof SEM.BOOL))
unArg_12 = ((SEM.BOOL) val).v;
else
if ((val instanceof SEM.SET))
unArg_12 = ((SEM.SET) val).v;
else
if ((val instanceof SEM.SEQ))
unArg_12 = ((SEM.SEQ) val).v;
else
if ((val instanceof SEM.REC))
unArg_12 = ((SEM.REC) val).v;
else
if ((val instanceof SEM.NUM))
unArg_12 = ((SEM.NUM) val).v;
else
unArg_12 = ((SEM.MAP) val).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
if (!(unArg_12 instanceof Number))
UTIL.RunTime("Run-Time Error:A number was expected");
else {
|
| File |
Line |
|---|
| org\overturetool\traces\utility\TraceStorageManager.java |
25
|
| org\overturetool\traces\utility\TraceStorageManager.java |
102
|
Iterator re = resSet.entrySet().iterator();
while (re.hasNext()) {
Map.Entry res = (Map.Entry) re.next();
String clName = res.getKey().toString();
File classFolder = new File(rootPath + File.separatorChar + clName);
// if (!classFolder.exists())
// classFolder.mkdir();
Iterator trI = ((HashMap) res.getValue()).entrySet().iterator();
while (trI.hasNext()) {
Map.Entry tr = (Map.Entry) trI.next();
String trace = tr.getKey().toString();
String traceFolderName=trace;
if(traceFolderName.contains("/"))
{
String []tmp = traceFolderName.split("/");
trace =tmp[1];
traceFolderName = tmp[0] + File.separatorChar + tmp[1];
}
File traceFolder = new File(classFolder.getAbsolutePath()
+ File.separatorChar + traceFolderName);
if (!traceFolder.exists())
traceFolder.mkdirs();
Iterator numI = ((HashMap) tr.getValue()).entrySet().iterator();
while (numI.hasNext()) {
Map.Entry num = (Map.Entry) numI.next();
String traceNum = num.getKey().toString();
FileWriter outputFileReader;
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
5282
|
| org\overturetool\traces\Eval.java |
6702
|
Boolean tmpVar_11 = null;
Object unArg_12 = null;
if ((val instanceof Record))
if ((val instanceof SEM.TUPLE))
unArg_12 = ((SEM.TUPLE) val).v;
else
if ((val instanceof SEM.TOKEN))
unArg_12 = ((SEM.TOKEN) val).v;
else
if ((val instanceof SEM.QUOTE))
unArg_12 = UTIL.ConvertToList(((SEM.QUOTE) val).v);
else
if ((val instanceof SEM.CHAR))
unArg_12 = ((SEM.CHAR) val).v;
else
if ((val instanceof SEM.BOOL))
unArg_12 = ((SEM.BOOL) val).v;
else
if ((val instanceof SEM.SET))
unArg_12 = ((SEM.SET) val).v;
else
if ((val instanceof SEM.SEQ))
unArg_12 = ((SEM.SEQ) val).v;
else
if ((val instanceof SEM.REC))
unArg_12 = ((SEM.REC) val).v;
else
if ((val instanceof SEM.NUM))
unArg_12 = ((SEM.NUM) val).v;
else
unArg_12 = ((SEM.MAP) val).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
if ((unArg_12 instanceof Boolean))
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
5282
|
| org\overturetool\traces\Eval.java |
5756
|
Long tmpVar_11 = null;
Object unArg_12 = null;
if ((val instanceof Record))
if ((val instanceof SEM.TUPLE))
unArg_12 = ((SEM.TUPLE) val).v;
else
if ((val instanceof SEM.TOKEN))
unArg_12 = ((SEM.TOKEN) val).v;
else
if ((val instanceof SEM.QUOTE))
unArg_12 = UTIL.ConvertToList(((SEM.QUOTE) val).v);
else
if ((val instanceof SEM.CHAR))
unArg_12 = ((SEM.CHAR) val).v;
else
if ((val instanceof SEM.BOOL))
unArg_12 = ((SEM.BOOL) val).v;
else
if ((val instanceof SEM.SET))
unArg_12 = ((SEM.SET) val).v;
else
if ((val instanceof SEM.SEQ))
unArg_12 = ((SEM.SEQ) val).v;
else
if ((val instanceof SEM.REC))
unArg_12 = ((SEM.REC) val).v;
else
if ((val instanceof SEM.NUM))
unArg_12 = ((SEM.NUM) val).v;
else
unArg_12 = ((SEM.MAP) val).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2769
|
| org\overturetool\traces\Eval.java |
4779
|
Vector tmpVar_15 = null;
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
6123
|
| org\overturetool\traces\Eval.java |
6203
|
Object unArg_12 = null;
if ((val instanceof Record))
if ((val instanceof SEM.TUPLE))
unArg_12 = ((SEM.TUPLE) val).v;
else
if ((val instanceof SEM.TOKEN))
unArg_12 = ((SEM.TOKEN) val).v;
else
if ((val instanceof SEM.QUOTE))
unArg_12 = UTIL.ConvertToList(((SEM.QUOTE) val).v);
else
if ((val instanceof SEM.CHAR))
unArg_12 = ((SEM.CHAR) val).v;
else
if ((val instanceof SEM.BOOL))
unArg_12 = ((SEM.BOOL) val).v;
else
if ((val instanceof SEM.SET))
unArg_12 = ((SEM.SET) val).v;
else
if ((val instanceof SEM.SEQ))
unArg_12 = ((SEM.SEQ) val).v;
else
if ((val instanceof SEM.REC))
unArg_12 = ((SEM.REC) val).v;
else
if ((val instanceof SEM.NUM))
unArg_12 = ((SEM.NUM) val).v;
else
unArg_12 = ((SEM.MAP) val).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
tmpVar_11.clear();
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
5283
|
| org\overturetool\traces\Eval.java |
5499
|
Object unArg_12 = null;
if ((val instanceof Record))
if ((val instanceof SEM.TUPLE))
unArg_12 = ((SEM.TUPLE) val).v;
else
if ((val instanceof SEM.TOKEN))
unArg_12 = ((SEM.TOKEN) val).v;
else
if ((val instanceof SEM.QUOTE))
unArg_12 = UTIL.ConvertToList(((SEM.QUOTE) val).v);
else
if ((val instanceof SEM.CHAR))
unArg_12 = ((SEM.CHAR) val).v;
else
if ((val instanceof SEM.BOOL))
unArg_12 = ((SEM.BOOL) val).v;
else
if ((val instanceof SEM.SET))
unArg_12 = ((SEM.SET) val).v;
else
if ((val instanceof SEM.SEQ))
unArg_12 = ((SEM.SEQ) val).v;
else
if ((val instanceof SEM.REC))
unArg_12 = ((SEM.REC) val).v;
else
if ((val instanceof SEM.NUM))
unArg_12 = ((SEM.NUM) val).v;
else
unArg_12 = ((SEM.MAP) val).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
4041
|
| org\overturetool\traces\Eval.java |
4251
|
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
4004
|
| org\overturetool\traces\Eval.java |
4676
|
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
3928
|
| org\overturetool\traces\Eval.java |
4251
|
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
3892
|
| org\overturetool\traces\Eval.java |
4676
|
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2807
|
| org\overturetool\traces\Eval.java |
4605
|
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2770
|
| org\overturetool\traces\Eval.java |
2882
|
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2483
|
| org\overturetool\traces\Eval.java |
2807
|
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2451
|
| org\overturetool\traces\Eval.java |
2770
|
Object var1_16 = null;
if ((l_uv instanceof Record))
if ((l_uv instanceof SEM.TUPLE))
var1_16 = ((SEM.TUPLE) l_uv).v;
else
if ((l_uv instanceof SEM.TOKEN))
var1_16 = ((SEM.TOKEN) l_uv).v;
else
if ((l_uv instanceof SEM.QUOTE))
var1_16 = UTIL.ConvertToList(((SEM.QUOTE) l_uv).v);
else
if ((l_uv instanceof SEM.CHAR))
var1_16 = ((SEM.CHAR) l_uv).v;
else
if ((l_uv instanceof SEM.BOOL))
var1_16 = ((SEM.BOOL) l_uv).v;
else
if ((l_uv instanceof SEM.SET))
var1_16 = ((SEM.SET) l_uv).v;
else
if ((l_uv instanceof SEM.SEQ))
var1_16 = ((SEM.SEQ) l_uv).v;
else
if ((l_uv instanceof SEM.REC))
var1_16 = ((SEM.REC) l_uv).v;
else
if ((l_uv instanceof SEM.NUM))
var1_16 = ((SEM.NUM) l_uv).v;
else
var1_16 = ((SEM.MAP) l_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
1752
|
| org\overturetool\traces\Eval.java |
2807
|
Object var2_18 = null;
if ((r_uv instanceof Record))
if ((r_uv instanceof SEM.TUPLE))
var2_18 = ((SEM.TUPLE) r_uv).v;
else
if ((r_uv instanceof SEM.TOKEN))
var2_18 = ((SEM.TOKEN) r_uv).v;
else
if ((r_uv instanceof SEM.QUOTE))
var2_18 = UTIL.ConvertToList(((SEM.QUOTE) r_uv).v);
else
if ((r_uv instanceof SEM.CHAR))
var2_18 = ((SEM.CHAR) r_uv).v;
else
if ((r_uv instanceof SEM.BOOL))
var2_18 = ((SEM.BOOL) r_uv).v;
else
if ((r_uv instanceof SEM.SET))
var2_18 = ((SEM.SET) r_uv).v;
else
if ((r_uv instanceof SEM.SEQ))
var2_18 = ((SEM.SEQ) r_uv).v;
else
if ((r_uv instanceof SEM.REC))
var2_18 = ((SEM.REC) r_uv).v;
else
if ((r_uv instanceof SEM.NUM))
var2_18 = ((SEM.NUM) r_uv).v;
else
var2_18 = ((SEM.MAP) r_uv).v;
else
UTIL.RunTime("Run-Time Error:A record was expected");
|
| File |
Line |
|---|
| org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java |
2481
|
| org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java |
2527
|
public void visitTraceSequenceDefinition (final IOmlTraceSequenceDefinition pcmp) throws CGException {
String str = new String("");
Long count = new Long(1);
{
Vector sq_2 = null;
sq_2 = pcmp.getDefs();
IOmlTraceDefinition db = null;
for (Iterator enm_24 = sq_2.iterator(); enm_24.hasNext(); ) {
IOmlTraceDefinition elem_3 = (IOmlTraceDefinition) enm_24.next();
db = (IOmlTraceDefinition) elem_3;
{
printNodeField((IOmlNode) db);
Boolean cond_8 = null;
Long var1_9 = null;
Vector unArg_10 = null;
unArg_10 = pcmp.getDefs();
var1_9 = new Long(unArg_10.size());
cond_8 = new Boolean(var1_9.intValue() == count.intValue());
if (cond_8.booleanValue()) {
String rhs_17 = null;
rhs_17 = str.concat(result);
str = UTIL.ConvertToString(UTIL.clone(rhs_17));
}
else {
String rhs_12 = null;
String var1_13 = null;
var1_13 = str.concat(result);
rhs_12 = var1_13.concat(new String(" ; "));
|
| File |
Line |
|---|
| org\overturetool\traces\Filtering.java |
895
|
| org\overturetool\traces\Filtering.java |
915
|
public void SetInconclusive (final String className, final String trace, final Long num, final Long statementNumber) throws CGException {
HashMap level_9 = testCaseResults.containsKey(className) ? (HashMap) testCaseResults.get(className) : new HashMap();
HashMap level_8 = level_9.containsKey(trace) ? (HashMap) level_9.get(trace) : new HashMap();
Vector level_7 = level_8.containsKey(num) ? (Vector) UTIL.ConvertToList(level_8.get(num)) : new Vector();
TraceResult level_6 = null;
if ((1 <= statementNumber.intValue()) && (statementNumber.intValue() <= level_7.size()))
level_6 = (TraceResult) level_7.get(statementNumber.intValue() - 1);
else
UTIL.RunTime("Run-Time Error:Illegal index");
level_6.status = new quotes.INCONCLUSIVE();
|
| File |
Line |
|---|
| org\overturetool\traces\Filtering.java |
626
|
| org\overturetool\traces\Filtering.java |
722
|
HashMap tc_uast = (HashMap) allTestCases.get(clnm);
{
HashSet iset_11 = new HashSet();
iset_11.clear();
iset_11.addAll(tc_uast.keySet());
String tdnm = null;
for (Iterator enm_24 = iset_11.iterator(); enm_24.hasNext(); ) {
String elem_12 = UTIL.ConvertToString(enm_24.next());
tdnm = elem_12;
{
Long rhs_17 = null;
Long var2_19 = null;
HashSet unArg_20 = new HashSet();
unArg_20.clear();
unArg_20.addAll(((HashMap) tc_uast.get(tdnm)).keySet());
var2_19 = new Long(unArg_20.size());
rhs_17 = new Long(count.intValue() + var2_19.intValue());
count = UTIL.NumberToLong(UTIL.clone(rhs_17));
}
}
}
}
}
}
return count;
}
// ***** VDMTOOLS END Name=GetTestCount
// ***** VDMTOOLS START Name=GetSuccessCount KEEP=NO
public Long GetSuccessCount () throws CGException {
|
| File |
Line |
|---|
| org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java |
3157
|
| org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java |
3322
|
tmpArg_v_3 = (IOmlExpression) pcmp.getExpression();
printNodeField((IOmlNode) tmpArg_v_3);
String rhs_4 = null;
String var1_5 = null;
var1_5 = str.concat(result);
rhs_4 = var1_5.concat(new String("|"));
str = UTIL.ConvertToString(UTIL.clone(rhs_4));
Vector tmpArg_v_10 = null;
tmpArg_v_10 = pcmp.getBindList();
printSeqofField(tmpArg_v_10);
String rhs_11 = null;
rhs_11 = str.concat(result);
str = UTIL.ConvertToString(UTIL.clone(rhs_11));
Boolean cond_14 = null;
cond_14 = pcmp.hasGuard();
if (cond_14.booleanValue()) {
IOmlExpression tmpArg_v_16 = null;
tmpArg_v_16 = (IOmlExpression) pcmp.getGuard();
printNodeField((IOmlNode) tmpArg_v_16);
String rhs_17 = null;
|
| File |
Line |
|---|
| org\overturetool\traces\Filtering.java |
770
|
| org\overturetool\traces\Filtering.java |
811
|
HashMap tc_uast = (HashMap) skippedTestCase.get(clnm);
Long rhs_11 = null;
Long var2_13 = null;
HashSet unArg_14 = new HashSet();
HashSet unArg_15 = new HashSet();
unArg_15.clear();
unArg_15.addAll(tc_uast.values());
HashSet rduset_17 = new HashSet();
for (Iterator enm_19 = unArg_15.iterator(); enm_19.hasNext(); ) {
HashSet e_18 = (HashSet) enm_19.next();
rduset_17.addAll(e_18);
}
unArg_14 = rduset_17;
var2_13 = new Long(unArg_14.size());
rhs_11 = new Long(count.intValue() + var2_13.intValue());
count = UTIL.NumberToLong(UTIL.clone(rhs_11));
}
}
}
return count;
}
// ***** VDMTOOLS END Name=GetSkippedCount
// ***** VDMTOOLS START Name=GetSkippedCount#2|String|String KEEP=NO
public Long GetSkippedCount (final String clnm, final String trnm) throws CGException {
|
| File |
Line |
|---|
| org\overturetool\traces\Filtering.java |
770
|
| org\overturetool\traces\Filtering.java |
869
|
HashMap tc_uast = (HashMap) expandFaildTestCase.get(clnm);
Long rhs_11 = null;
Long var2_13 = null;
HashSet unArg_14 = new HashSet();
HashSet unArg_15 = new HashSet();
unArg_15.clear();
unArg_15.addAll(tc_uast.values());
HashSet rduset_17 = new HashSet();
for (Iterator enm_19 = unArg_15.iterator(); enm_19.hasNext(); ) {
HashSet e_18 = (HashSet) enm_19.next();
rduset_17.addAll(e_18);
}
unArg_14 = rduset_17;
var2_13 = new Long(unArg_14.size());
rhs_11 = new Long(count.intValue() + var2_13.intValue());
count = UTIL.NumberToLong(UTIL.clone(rhs_11));
}
}
}
return count;
}
// ***** VDMTOOLS END Name=GetExpandFaildCount
// ***** VDMTOOLS START Name=SetFail#4|String|String|Long|Long KEEP=NO
public void SetFail (final String className, final String trace, final Long num, final Long statementNumber) throws CGException {
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
3766
|
| org\overturetool\traces\Eval.java |
4550
|
private SEM.VAL EvalDiv (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.NUM));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.NUM));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.NUM rexpr_14 = null;
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2747
|
| org\overturetool\traces\Eval.java |
3022
|
private SEM.VAL EvalEquiv (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.BOOL));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.BOOL));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.BOOL rexpr_14 = null;
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2191
|
| org\overturetool\traces\Eval.java |
4964
|
private SEM.VAL EvalMinus (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.NUM));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.NUM));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.NUM rexpr_14 = null;
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
3059
|
| org\overturetool\traces\Eval.java |
3364
|
private SEM.VAL EvalMapRngResBy (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.MAP));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.SET));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.MAP rexpr_22 = null;
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2294
|
| org\overturetool\traces\Eval.java |
4416
|
private SEM.VAL EvalMapDomResTo (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.SET));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.MAP));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.MAP rexpr_14 = null;
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
4093
|
| org\overturetool\traces\Eval.java |
4964
|
private SEM.VAL EvalPlus (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.NUM));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.NUM));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.NUM rexpr_14 = null;
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
2088
|
| org\overturetool\traces\Eval.java |
2428
|
private SEM.VAL EvalInter (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.SET));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.SET));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.SET rexpr_14 = null;
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
1697
|
| org\overturetool\traces\Eval.java |
2191
|
private SEM.VAL EvalMod (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.NUM));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.NUM));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
SEM.NUM rexpr_14 = null;
|
| File |
Line |
|---|
| org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java |
3283
|
| org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java |
3359
|
String str = new String("iota ");
IOmlBind tmpArg_v_3 = null;
tmpArg_v_3 = (IOmlBind) pcmp.getBind();
printNodeField((IOmlNode) tmpArg_v_3);
String rhs_4 = null;
String var1_5 = null;
var1_5 = str.concat(result);
rhs_4 = var1_5.concat(new String("&"));
str = UTIL.ConvertToString(UTIL.clone(rhs_4));
IOmlExpression tmpArg_v_10 = null;
tmpArg_v_10 = (IOmlExpression) pcmp.getExpression();
printNodeField((IOmlNode) tmpArg_v_10);
String rhs_11 = null;
rhs_11 = str.concat(result);
str = UTIL.ConvertToString(UTIL.clone(rhs_11));
result = UTIL.ConvertToString(UTIL.clone(str));
}
// ***** VDMTOOLS END Name=visitIotaExpression#1|IOmlIotaExpression
// ***** VDMTOOLS START Name=visitReturnStatement#1|IOmlReturnStatement KEEP=NO
public void visitReturnStatement (final IOmlReturnStatement var_1_1) throws CGException {
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
1697
|
| org\overturetool\traces\Eval.java |
3191
|
private SEM.VAL EvalIterate (final SEM.VAL l_uv, final SEM.VAL r_uv, final IOmlBinaryExpression expr) throws CGException {
Boolean cond_4 = null;
Boolean var1_5 = null;
if ((l_uv instanceof Record))
var1_5 = new Boolean(((Object) l_uv instanceof SEM.NUM));
else
var1_5 = new Boolean(false);
{
if ((cond_4 = var1_5).booleanValue()) {
Boolean var2_7 = null;
if ((r_uv instanceof Record))
var2_7 = new Boolean(((Object) r_uv instanceof SEM.NUM));
else
var2_7 = new Boolean(false);
cond_4 = var2_7;
}
}
if (cond_4.booleanValue()) {
|
| File |
Line |
|---|
| org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java |
1113
|
| org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java |
1155
|
tmpArg_v_3 = (IOmlName) pcmp.getName();
printNodeField((IOmlNode) tmpArg_v_3);
String rhs_4 = null;
String var1_5 = null;
var1_5 = str.concat(result);
rhs_4 = var1_5.concat(new String("("));
str = UTIL.ConvertToString(UTIL.clone(rhs_4));
Vector tmpArg_v_10 = null;
tmpArg_v_10 = pcmp.getExpressionList();
printSeqofField(tmpArg_v_10);
String rhs_11 = null;
String var1_12 = null;
var1_12 = str.concat(result);
rhs_11 = var1_12.concat(new String(")"));
str = UTIL.ConvertToString(UTIL.clone(rhs_11));
result = UTIL.ConvertToString(UTIL.clone(str));
}
// ***** VDMTOOLS END Name=visitRecordConstructor#1|IOmlRecordConstructor
// ***** VDMTOOLS START Name=visitTokenExpression#1|IOmlTokenExpression KEEP=NO
public void visitTokenExpression (final IOmlTokenExpression pcmp) throws CGException {
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
5458
|
| org\overturetool\traces\Eval.java |
5716
|
rexpr_22 = new SEM.SEQ(tmpVar_23);
return (SEM.VAL) rexpr_22;
}
else {
Boolean cond_15 = null;
if ((val instanceof Record))
cond_15 = new Boolean(((Object) val instanceof SEM.SEQ));
else
cond_15 = new Boolean(false);
if (cond_15.booleanValue()) {
errorLog.ReportError(expr, UTIL.ConvertToString(RTERR.NONEMPTY_uSEQ_uEXPECTED));
SEM.NUM rexpr_20 = null;
rexpr_20 = new SEM.NUM(UTIL.NumberToReal(new Long(1)));
return (SEM.VAL) rexpr_20;
}
else {
errorLog.ReportError(expr, UTIL.ConvertToString(RTERR.NUM_uEXPECTED));
|
| File |
Line |
|---|
| org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java |
3027
|
| org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java |
3640
|
tmpArg_v_3 = pcmp.getTypeBindList();
printSeqofField(tmpArg_v_3);
String rhs_4 = null;
String var1_5 = null;
var1_5 = str.concat(result);
rhs_4 = var1_5.concat(new String("&"));
str = UTIL.ConvertToString(UTIL.clone(rhs_4));
IOmlExpression tmpArg_v_10 = null;
tmpArg_v_10 = (IOmlExpression) pcmp.getExpression();
printNodeField((IOmlNode) tmpArg_v_10);
String rhs_11 = null;
rhs_11 = str.concat(result);
str = UTIL.ConvertToString(UTIL.clone(rhs_11));
result = UTIL.ConvertToString(UTIL.clone(str));
}
// ***** VDMTOOLS END Name=visitLambdaExpression#1|IOmlLambdaExpression
// ***** VDMTOOLS START Name=visitInstanceVariableInvariant#1|IOmlInstanceVariableInvariant KEEP=NO
public void visitInstanceVariableInvariant (final IOmlInstanceVariableInvariant var_1_1) throws CGException {
|
| File |
Line |
|---|
| org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java |
2801
|
| org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java |
2866
|
tmpArg_v_3 = pcmp.getBindList();
printSeqofField(tmpArg_v_3);
String rhs_4 = null;
String var1_5 = null;
var1_5 = str.concat(result);
rhs_4 = var1_5.concat(new String(" in "));
str = UTIL.ConvertToString(UTIL.clone(rhs_4));
IOmlExpression tmpArg_v_10 = null;
tmpArg_v_10 = (IOmlExpression) pcmp.getExpression();
printNodeField((IOmlNode) tmpArg_v_10);
String rhs_11 = null;
rhs_11 = str.concat(result);
str = UTIL.ConvertToString(UTIL.clone(rhs_11));
result = UTIL.ConvertToString(UTIL.clone(str));
}
// ***** VDMTOOLS END Name=visitForAllExpression#1|IOmlForAllExpression
// ***** VDMTOOLS START Name=visitCasesExpression#1|IOmlCasesExpression KEEP=NO
public void visitCasesExpression (final IOmlCasesExpression var_1_1) throws CGException {
|
| File |
Line |
|---|
| org\overturetool\traces\Eval.java |
291
|
| org\overturetool\traces\Eval.java |
7064
|
int max_14 = par_ul.size();
for (int i_15 = 1; i_15 <= max_14; i_15++)
riseq_13.add(new Long(i_15));
resBind_s_9 = riseq_13;
Vector bind_l_8 = null;
bind_l_8 = UTIL.Sort(resBind_s_9);
Long i = null;
for (Iterator enm_22 = bind_l_8.iterator(); enm_22.hasNext(); ) {
Long e_11 = UTIL.NumberToLong(enm_22.next());
i = e_11;
SEM.VAL reselem_16 = null;
IOmlExpression par_17 = null;
if ((1 <= i.intValue()) && (i.intValue() <= par_ul.size()))
|
| File |
Line |
|---|
| org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java |
3028
|
| org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java |
3286
|
printNodeField((IOmlNode) tmpArg_v_3);
String rhs_4 = null;
String var1_5 = null;
var1_5 = str.concat(result);
rhs_4 = var1_5.concat(new String("&"));
str = UTIL.ConvertToString(UTIL.clone(rhs_4));
IOmlExpression tmpArg_v_10 = null;
tmpArg_v_10 = (IOmlExpression) pcmp.getExpression();
printNodeField((IOmlNode) tmpArg_v_10);
String rhs_11 = null;
rhs_11 = str.concat(result);
str = UTIL.ConvertToString(UTIL.clone(rhs_11));
result = UTIL.ConvertToString(UTIL.clone(str));
}
// ***** VDMTOOLS END Name=visitExistsUniqueExpression#1|IOmlExistsUniqueExpression
// ***** VDMTOOLS START Name=visitThreadIdExpression#1|IOmlThreadIdExpression KEEP=NO
public void visitThreadIdExpression (final IOmlThreadIdExpression var_1_1) throws CGException {
|
| File |
Line |
|---|
| org\overturetool\traces\Filtering.java |
626
|
| org\overturetool\traces\Filtering.java |
674
|
HashMap tc_uast = (HashMap) inconclusiveTestCase.get(clnm);
{
HashSet iset_11 = new HashSet();
iset_11.clear();
iset_11.addAll(tc_uast.keySet());
String tdnm = null;
for (Iterator enm_24 = iset_11.iterator(); enm_24.hasNext(); ) {
String elem_12 = UTIL.ConvertToString(enm_24.next());
tdnm = elem_12;
{
Long rhs_17 = null;
Long var2_19 = null;
HashSet unArg_20 = new HashSet();
unArg_20.clear();
unArg_20.addAll(((HashMap) tc_uast.get(tdnm)).values());
|
| File |
Line |
|---|
| org\overturetool\traces\Expand.java |
679
|
| org\overturetool\traces\Expand.java |
729
|
Long e_8 = UTIL.NumberToLong(enm_40.next());
i = e_8;
Vector reselem_13 = null;
{
Vector def_ul = null;
HashMap par_16 = new HashMap();
if ((1 <= i.intValue()) && (i.intValue() <= cxt_ul.size()))
par_16 = (HashMap) cxt_ul.get(i.intValue() - 1);
else
UTIL.RunTime("Run-Time Error:Illegal index");
def_ul = Context2ValShapeL(par_16);
if (new Boolean(UTIL.equals(def_ul, new Vector())).booleanValue())
|
| File |
Line |
|---|
| org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java |
2192
|
| org\overturetool\traces\astspec\oml2vpp\Oml2VppVisitor.java |
2215
|
public void visitProductType (final IOmlProductType pcmp) throws CGException {
String str = new String("");
IOmlType obj_3 = null;
obj_3 = (IOmlType) pcmp.getLhsType();
obj_3.accept((IOmlVisitor) this);
String rhs_5 = null;
rhs_5 = str.concat(result);
str = UTIL.ConvertToString(UTIL.clone(rhs_5));
IOmlType obj_9 = null;
obj_9 = (IOmlType) pcmp.getRhsType();
obj_9.accept((IOmlVisitor) this);
String rhs_11 = null;
String var1_12 = null;
var1_12 = str.concat(new String(" * "));
|
