365366367368369370371372373374375376377378379380
// ListOperator if( comp[i] instanceof ListOperatorPanel ){ final ListOperatorPanel lop = (ListOperatorPanel) comp[i]; for (int j = 0; j < lop.getListOperator().getTerms().size(); j++) { if((lop.getListOperator().getTerms().get(j).isVariable()) && !this.listContainsElement(varTerms,lop.getListOperator().getTerms().get(j).getValue())){ varTerms.add(lop.getListOperator().getTerms().get(j)); } } } // end ListOperator
474475476477478479480481482483484485486487488489
// ListOperator if( comp[i] instanceof ListOperatorPanel ){ final ListOperatorPanel lop = (ListOperatorPanel) comp[i]; for (int j = 0; j < lop.getListOperator().getTerms().size(); j++) { if(lop.getListOperator().getTerms().get(j).isVariable() && !this.listContainsElement(varTerms,lop.getListOperator().getTerms().get(j).getValue())){ varTerms.add(lop.getListOperator().getTerms().get(j)); } } } // end ListOperator
163164165166167168169170171172173174175176177178
// ListOperator if( comp[i] instanceof ListOperatorPanel ){ final ListOperatorPanel lop = (ListOperatorPanel) comp[i]; for (int j = 0; j < lop.getListOperator().getTerms().size(); j++) { if(!this.listContainsElement(varTerms,lop.getListOperator().getTerms().get(j).getValue())){ varTerms.add(lop.getListOperator().getTerms().get(j)); } } } // end ListOperator
411412413414415416417418419420421422423424425
opY = fop.getY(); distance = 50; } if (ato instanceof ListOperator) { ListOperator lo = (ListOperator) ato; ListOperatorPanel lop = lo.getListOperatorPanel(); width = lop.getWidth(); height = lop.getHeight(); opX = lop.getX(); opY = lop.getY(); distance = 90; } // case: child behind operator if ( opX < xChild && xChild < (opX+width) && opY < yChild && yChild < (opY+height) ){
52535455565758596061
@Override public AbstractGuiComponent<Operator> draw(GraphWrapper gw, VisualGraph<Operator> parent) { this.panel = new ListOperatorPanel(parent, gw, this, this.startNode, this.alsoSubClasses,this.visualRifEditor); return this.panel; }