/** * Returns the number of {@link InitialAssignment}s of this {@link Model}. * * @return the number of {@link InitialAssignment}s of this {@link Model}. */ public int getInitialAssignmentCount() { return isSetListOfInitialAssignments() ? listOfInitialAssignments.size() : 0; }
@Override public boolean check(ValidationContext ctx, Model m) { Set<String> iaIds = new HashSet<String>(); if (m.isSetListOfInitialAssignments()) { for (InitialAssignment ia : m.getListOfInitialAssignments()) { // TODO - use the existing map and methods for this one iaIds.add(ia.getVariable()); } } if (m.isSetListOfRules()) { for (Rule r : m.getListOfRules()) { String id = null; if (r instanceof AssignmentRule) { id = ((AssignmentRule) r).getVariable(); } // Is the id already used by an InitialAssignment? if (id != null && id.trim().length() > 0 && iaIds.contains(id)) { return false; } } } return true; } };
@Override public boolean check(ValidationContext ctx, Model m) { if (m.isSetListOfInitialAssignments() || m.isListOfInitialAssignmentsEmpty()) { return new UnknownAttributeValidationFunction<TreeNodeWithChangeSupport>().check(ctx, m.getListOfInitialAssignments()); } return true; } };
@Override public boolean check(ValidationContext ctx, Model m) { if (m.isSetListOfInitialAssignments() || m.isListOfInitialAssignmentsEmpty()) { return new UnknownElementValidationFunction<TreeNodeWithChangeSupport>().check(ctx, m.getListOfInitialAssignments()); } return true; } };
/** * Returns the {@link InitialAssignment} of the * {@link #listOfInitialAssignments} whose {@code symbol} attribute, * i.e., whose {@link Variable} has the given {@code variable} as * identifier. * * @param variable * The identifier of a variable, for which a corresponding * {@link InitialAssignment} is requested. * @return the first {@link InitialAssignment} of the * {@link #listOfInitialAssignments}, whose {@link Variable} has the * {@code variable} as identifier (or name depending on the level * and version). {@code null} if it doesn't exist. * */ public InitialAssignment getInitialAssignmentBySymbol(String variable) { if (isSetListOfInitialAssignments()) { return getListOfInitialAssignments().firstHit( new AssignmentVariableFilter(variable)); } return null; }
child = m.isSetListOfInitialAssignments() ? m.getInitialAssignmentBySymbol(id) : null;
if (model.isSetListOfInitialAssignments()) { for (int i = 0; i < model.getInitialAssignmentCount(); i++) { InitialAssignment initialAssignment = model
setListOfParameters(model.getListOfParameters().clone()); if (model.isSetListOfInitialAssignments()) { setListOfInitialAssignments(model.getListOfInitialAssignments().clone());