public static void badRelationshipValidate(String[] vars, int numStmt, int numSel, int numVal)
throws RecognitionException, TokenStreamException {
Block_c[] blk = Block_c.BlockInstances(modelRoot);
assertEquals(1, blk.length);
Statement_c[] st = Statement_c.StatementInstances(modelRoot);
assertEquals(numStmt, st.length);
for (int i = 0; i < numStmt; ++i) assertEquals(blk[0].getBlock_id(), st[i].getBlock_id());
Variable_c[] t = Variable_c.VariableInstances(modelRoot);
assertEquals(vars.length, t.length);
for (int i = 0; i < vars.length; ++i) assertEquals(vars[i], t[i].getName());
Relate_c rel[] = Relate_c.RelateInstances(modelRoot);
assertEquals(0, rel.length);
RelateUsing_c ru[] = RelateUsing_c.RelateUsingInstances(modelRoot);
assertEquals(0, ru.length);
SelectFromInstances_c sel[] = SelectFromInstances_c.SelectFromInstancesInstances(modelRoot);
assertEquals(numSel, sel.length);
Value_c[] val = Value_c.ValueInstances(modelRoot);
assertEquals(numVal, val.length);
}
public static void validateBlkStmtVal(int numBlock, int numStmt, int numVal) {
FunctionBody_c[] fb = FunctionBody_c.FunctionBodyInstances(modelRoot);
BridgeBody_c[] bb = BridgeBody_c.BridgeBodyInstances(modelRoot);
OperationBody_c[] ob = OperationBody_c.OperationBodyInstances(modelRoot);
StateActionBody_c[] sab = StateActionBody_c.StateActionBodyInstances(modelRoot);
DerivedAttributeBody_c[] dab = DerivedAttributeBody_c.DerivedAttributeBodyInstances(modelRoot);
TransitionActionBody_c[] tab = TransitionActionBody_c.TransitionActionBodyInstances(modelRoot);
Body_c b[] = Body_c.BodyInstances(modelRoot);
assertEquals(
b.length, fb.length + bb.length + ob.length + sab.length + dab.length + tab.length);
Block_c[] blk = Block_c.BlockInstances(modelRoot);
assertEquals(numBlock, blk.length);
Body_c[] bods = Body_c.BodyInstances(modelRoot);
for (int i = 0; i < bods.length; ++i)
assertEquals(IdAssigner.NULL_UUID, bods[i].getCurrentscope_id());
Statement_c[] st = Statement_c.StatementInstances(modelRoot);
assertEquals(numStmt, st.length);
Value_c[] val = Value_c.ValueInstances(modelRoot);
assertEquals(numVal, val.length);
}
