@Check
public void checkBlocIDUnique(final Bloc bloc) {
EObject _eContainer = bloc.eContainer();
EList<EObject> _eContents = _eContainer.eContents();
for (final EObject o : _eContents) {
if ((o instanceof Bloc)) {
final Bloc b = ((Bloc) o);
boolean _notEquals = (!Objects.equal(b, bloc));
if (_notEquals) {
int _name = b.getName();
int _name_1 = bloc.getName();
boolean _equals = (_name == _name_1);
if (_equals) {
this.error("Bloc ID already exists.", Literals.BLOC__NAME, MacroValidator.INVALID_NAME);
}
}
} else {
boolean _equals_1 = ((o instanceof onLoadBloc) == false);
if (_equals_1) {
this.error(
"An element of the Macro isn\'t a Bloc nor an OnLoadBloc. All elements of Macros should be Blocs.",
Literals.DOMAIN__ELEMENTS,
MacroValidator.INVALID_ELEMENT);
}
}
}
}
@Check
public void checkGOTOvalidID(final Domain domain, final intDirective dir) {
String _name = dir.getName();
boolean _notEquals = (!Objects.equal(_name, "GOTO"));
if (_notEquals) {
return;
}
EList<EObject> _eContents = domain.eContents();
for (final EObject o : _eContents) {
if ((o instanceof Bloc)) {
final Bloc b = ((Bloc) o);
int _name_1 = b.getName();
int _value = dir.getValue();
boolean _equals = (_name_1 == _value);
if (_equals) {
return;
}
} else {
this.error(
"An element of the Macro isn\'t a Bloc. All elements of Macros should be Blocs.",
Literals.DOMAIN__ELEMENTS,
MacroValidator.INVALID_ELEMENT);
}
}
this.error(
"GOTO directive points towards an inexisting Bloc ID.",
Literals.INT_DIRECTIVE__VALUE,
MacroValidator.INVALID_ARGUMENT);
}