Loading de.ugoe.cs.swe.TTCN3/src/de/ugoe/cs/swe/validation/TTCN3Validator.xtend +27 −1 Original line number Diff line number Diff line Loading @@ -49,6 +49,8 @@ import de.ugoe.cs.swe.tTCN3.UnionDefNamed import de.ugoe.cs.swe.tTCN3.SetDefNamed import de.ugoe.cs.swe.tTCN3.EnumDefNamed import de.ugoe.cs.swe.tTCN3.SubTypeDefNamed import de.ugoe.cs.swe.tTCN3.TemplateDef import de.ugoe.cs.swe.tTCN3.SignatureDef class TTCN3Validator extends AbstractTTCN3Validator { Loading Loading @@ -262,7 +264,31 @@ class TTCN3Validator extends AbstractTTCN3Validator { return true } // TODO: more defs if (v.def instanceof TemplateDef) { if ((v.def as TemplateDef).base != variable && (v.def as TemplateDef).base.name == variable.name) return true } if (v.def instanceof SignatureDef) { if (v.def != variable && (v.def as SignatureDef).name == variable.name) return true } if (v.def instanceof TestcaseDef) { if (v.def != variable && (v.def as TestcaseDef).name == variable.name) return true } if (v.def instanceof AltstepDef) { if (v.def != variable && (v.def as AltstepDef).name == variable.name) return true } if (v.def instanceof GroupDef) { if (v.def != variable && (v.def as GroupDef).name == variable.name) return true } } return false; } Loading Loading
de.ugoe.cs.swe.TTCN3/src/de/ugoe/cs/swe/validation/TTCN3Validator.xtend +27 −1 Original line number Diff line number Diff line Loading @@ -49,6 +49,8 @@ import de.ugoe.cs.swe.tTCN3.UnionDefNamed import de.ugoe.cs.swe.tTCN3.SetDefNamed import de.ugoe.cs.swe.tTCN3.EnumDefNamed import de.ugoe.cs.swe.tTCN3.SubTypeDefNamed import de.ugoe.cs.swe.tTCN3.TemplateDef import de.ugoe.cs.swe.tTCN3.SignatureDef class TTCN3Validator extends AbstractTTCN3Validator { Loading Loading @@ -262,7 +264,31 @@ class TTCN3Validator extends AbstractTTCN3Validator { return true } // TODO: more defs if (v.def instanceof TemplateDef) { if ((v.def as TemplateDef).base != variable && (v.def as TemplateDef).base.name == variable.name) return true } if (v.def instanceof SignatureDef) { if (v.def != variable && (v.def as SignatureDef).name == variable.name) return true } if (v.def instanceof TestcaseDef) { if (v.def != variable && (v.def as TestcaseDef).name == variable.name) return true } if (v.def instanceof AltstepDef) { if (v.def != variable && (v.def as AltstepDef).name == variable.name) return true } if (v.def instanceof GroupDef) { if (v.def != variable && (v.def as GroupDef).name == variable.name) return true } } return false; } Loading