// olga: use comatch after step ia done to get values of OUTPUT parameters of a rule String getValueOfOutputParameter(VarMember p, Rule r, OrdinaryMorphism comatch) { if (p != null && r != null && comatch != null) { Enumeration<GraphObject> rightObjs = comatch.getDomain(); while (rightObjs.hasMoreElements()) { GraphObject obj = rightObjs.nextElement(); if (obj.getAttribute() != null) { ValueTuple vt = (ValueTuple) obj.getAttribute(); for (int i = 0; i < vt.getNumberOfEntries(); i++) { ValueMember vm = vt.getEntryAt(i); if (vm.isSet() && vm.getExpr().isVariable() && vm.getExprAsText().equals(p.getName())) { // we found an object obj inside of the RHS which uses the output parameter p, // now we will find an appropriate graph object // and to get the value of the output parameter GraphObject go = comatch.getImage(obj); ValueTuple vt_go = (ValueTuple) go.getAttribute(); ValueMember vm_go = vt_go.getEntryAt(vm.getName()); String parVal = vm_go.getExprAsText(); System.out.println( parVal + " is value of OUTPUT parameter: --" + p.getName() + "-- of rule: " + r.getName()); return parVal; } } } } } return null; }
void setInputParameter(Rule r) { VarTuple vars = (VarTuple) r.getAttrContext().getVariables(); for (int i = 0; i < vars.getNumberOfEntries(); i++) { VarMember var = (VarMember) vars.getMemberAt(i); if (var.isInputParameter()) System.out.println(var.getName() + " is already input parameter of rule: " + r.getName()); else { // this var should be an input parameter var.setInputParameter(true); System.out.println(var.getName() + " is now input parameter of rule: " + r.getName()); } } }
// olga List<VarMember> getOutputParameters(Rule r, List<VarMember> list) { if (list == null) list = new Vector<VarMember>(); else list.clear(); VarTuple vars = (VarTuple) r.getAttrContext().getVariables(); for (int i = 0; i < vars.getNumberOfEntries(); i++) { VarMember var = (VarMember) vars.getMemberAt(i); if (var.isOutputParameter()) { System.out.println(var.getName() + " is OUTPUT parameter of rule: " + r.getName()); list.add(var); } // else { // if this var should be an output parameter // var.setOutputParameter(true); // System.out.println(var.getName()+" is now OUTPUT parameter of rule: "+r.getName()); // } } return list; }
void setPars(Rule r) throws IOException { System.out.println("\n TAKING INPUTS to APPLY Rule: " + r.getName() + "\n"); List<String> list = r.getInputParameterNames(); System.out.println("The parameters for " + r.getName() + " are: " + list); // System.out.println("The parameters values for " + r.getName() + " are: " + // r.getInputParameters()); System.out.println("The parameters values:"); for (int i = 0; i < list.size(); i++) { String pname = list.get(i); VarMember var = (VarMember) ((VarTuple) r.getAttrContext().getVariables()).getMemberAt(pname); if (var.isSet()) System.out.println(pname + " is set to value: " + var.getExprAsText()); else System.out.println(pname + " is not set"); } VarTuple vars = (VarTuple) r.getAttrContext().getVariables(); for (int i = 0; i < vars.getNumberOfEntries(); i++) { VarMember var = (VarMember) vars.getMemberAt(i); if (var.isInputParameter()) { // olga: if (!var.isSet()) { System.out.println( var.getName() + " is already input parameter of rule: " + r.getName()); System.out.println( "\n \n Please Enter the value for input parameter for rule -- " + r.getName() + " --, parameter name -- " + var.getName() + " --: "); Scanner scan = new Scanner(System.in); String value = scan.nextLine(); System.out.println("The given input was: " + value); var.setInputParameter(true); var.setExprAsText(value); // in1.close(); System.out.println(var.getName() + " is now input parameter of rule: " + r.getName()); } else { System.out.println( var.getExprAsText() + " is value of the INPUT parameter: " + var.getName() + " of rule: " + r.getName()); } } } // in.close(); }
/** * Computes if the first rule exclude the second rule. The result is added to the container. * * @param r1 The first rule. * @param r2 The second rule. */ protected synchronized void computeCritical(Rule r1, Rule r2) { Report.trace("LayeredDependencyPairContainer: starte computeCritical", 2); // System.out.println("LayeredDependencyPairContainer.computeCritical(r1, // r2): "+r1.getName()+" "+r2.getName()+" "+this.getEntry(r1, // r2).state); // mark Entry if (!r1.isEnabled() || !r2.isEnabled()) { // test disabled rule this.getEntry(r1, r2).state = Entry.DISABLED; addEntry(r1, r2, false, null); addQuadruple(this.excludeContainer, r1, r2, false, null); addQuadruple(this.conflictFreeContainer, r1, r2, false, null); firePairEvent( new CriticalPairEvent( this, r1, r2, "<" + r1.getName() + "> and <" + r2.getName() + "> should not be computed.")); return; } if (r1.getLayer() != r2.getLayer()) { // test rule layer this.getEntry(r1, r2).state = Entry.NOT_RELATED; addEntry(r1, r2, false, null); addQuadruple(this.excludeContainer, r1, r2, false, null); addQuadruple(this.conflictFreeContainer, r1, r2, false, null); firePairEvent(new CriticalPairEvent(this, r1, r2, "")); return; } if ((this.layer > -1) && (r1.getLayer() != this.layer)) { return; } if ((this.getEntry(r1, r2).state == Entry.SCHEDULED_FOR_COMPUTING) || (this.getEntry(r1, r2).state == Entry.NOT_SET)) { getEntry(r1, r2).setState(Entry.COMPUTING_IS_RUNNING); firePairEvent( new CriticalPairEvent( this, r1, r2, "Computing critical rule pair [ " + r1.getName() + " , " + r2.getName() + " ]")); if (!this.complete) { this.layeredPair = null; this.layeredSimplePair = new LayeredSimpleDependencyPair(); this.excludePair = this.layeredSimplePair; } else { this.layeredSimplePair = null; this.layeredPair = new LayeredDependencyPair(); this.excludePair = this.layeredPair; } setOptionsOfExcludePair(); Vector< Pair< Pair<OrdinaryMorphism, OrdinaryMorphism>, Pair<OrdinaryMorphism, OrdinaryMorphism>>> overlapping = null; try { if (this.layeredPair != null) { overlapping = this.layeredPair.isCritical(CriticalPair.EXCLUDE, r1, r2); } else if (this.layeredSimplePair != null) { overlapping = this.layeredSimplePair.isCritical(CriticalPair.EXCLUDE, r1, r2); } } catch (InvalidAlgorithmException iae) { System.out.println(iae.getLocalizedMessage()); } if (this.excludePair != null) this.excludePair.dispose(); this.excludePair = null; this.layeredPair = null; this.layeredSimplePair = null; // System.gc(); boolean critic = (overlapping != null); // new container addEntry(r1, r2, critic, overlapping); /* * Wenn overlapping Elemente enthaelt sind r1/r2 kritisch critic * wird daher true. Alle wichtigen Informationen werden eingetragen. * Enthaelt r1/r2 keine Elementen, so wird critic auf false gesetzt. * Wenn excludeContainer nach r1/r2 gefragt wird, liefert die * Antwort auch false. overlapping kann daher null sein. */ /* * Achtung, wenn r1 r2 nicht kritisch ist gibt es keine * Ueberlappungen */ addQuadruple(this.excludeContainer, r1, r2, critic, overlapping); /* * conflictfree braucht keine ueberlappungsgraphen daher ist das * letzte Argument null */ addQuadruple(this.conflictFreeContainer, r1, r2, !critic, null); if (overlapping != null) firePairEvent( new CriticalPairEvent( this, r1, r2, "<" + r1.getName() + "> and <" + r2.getName() + "> have critical pairs")); else firePairEvent( new CriticalPairEvent( this, r1, r2, "<" + r1.getName() + "> and <" + r2.getName() + "> have no critical pairs")); } Report.trace("LayeredDependencyPairContainer: beende computeCritical", -2); }