private void subscribeHeadTerms(Function head) { if (head instanceof ListenableFunction) { EventGeneratingList<Term> headterms = ((ListenableFunction)head).getTerms(); headterms.addListener(this); } else if (!(head instanceof ImmutableFunctionalTerm)) { throw new RuntimeException("Unknown type of function: not listenable nor immutable: " + head); } }
private void setHead(Function head) { // The syntax for CQ may also contain no head, thus, this condition // will check whether we can look for the head terms or not. if (head != null) { this.head = head; if (head instanceof ListenableFunction) { EventGeneratingList<Term> headterms = ((ListenableFunction)head).getTerms(); headterms.addListener(this); } else if (!(head instanceof ImmutableFunctionalTerm)) { throw new RuntimeException("Unknown type of function: not listenable nor immutable: " + head); } } }
public void updateHead(Function head) { this.head = head; if (head instanceof ListenableFunction) { EventGeneratingList<Term> headterms = ((ListenableFunction)head).getTerms(); headterms.removeListener(this); headterms.addListener(this); listChanged(); } else if (!(head instanceof ImmutableFunctionalTerm)) { throw new RuntimeException("Unknown type of function: not listenable nor immutable: " + head); } }
private void registerListeners(EventGeneratingList<? extends Term> functions) { functions.addListener(this); for (Object o : functions) { if (!(o instanceof Function)) { continue; } if (o instanceof ListenableFunction) { ListenableFunction f = (ListenableFunction) o; EventGeneratingList<Term> list = f.getTerms(); list.addListener(this); registerListeners(list); } else if (!(o instanceof ImmutableFunctionalTerm)) { throw new IllegalArgumentException("Unknown type of function: not listenable nor immutable: " + o); } } }
private void registerListeners(EventGeneratingList<? extends Term> functions) { functions.addListener(this); for (Object o : functions) { if (!(o instanceof Function)) { continue; } else if (o instanceof ListenableFunction) { ListenableFunction f = (ListenableFunction) o; EventGeneratingList<Term> list = f.getTerms(); list.addListener(this); registerListeners(list); } else if (!(o instanceof ImmutableFunctionalTerm)) { throw new IllegalArgumentException("Unknown type of function: not listenable nor immutable: " + o); } } }
private void registerListeners(EventGeneratingList<? extends Term> functions) { functions.addListener(this); for (Object o : functions) { if (!(o instanceof Function)) { continue; } else if (o instanceof ListenableFunction) { ListenableFunction f = (ListenableFunction) o; EventGeneratingList<Term> list = f.getTerms(); list.addListener(this); registerListeners(list); } else if (!(o instanceof ImmutableFunctionalTerm)) { throw new IllegalArgumentException("Unknown type of function: not listenable nor immutable: " + o); } } }
private void registerListeners(EventGeneratingList<? extends Term> functions) { functions.addListener(this); for (Object o : functions) { if (!(o instanceof Function)) { continue; } if (o instanceof ListenableFunction) { ListenableFunction f = (ListenableFunction) o; EventGeneratingList<Term> list = f.getTerms(); list.addListener(this); registerListeners(list); } else if (!(o instanceof ImmutableFunctionalTerm)) { throw new IllegalArgumentException("Unknown type of function: not listenable nor immutable: " + o); } } }
if (term instanceof ListenableFunction) { ListenableFunction function = (ListenableFunction) term; EventGeneratingList<Term> innertermlist = function.getTerms(); innertermlist.removeListener(this); if (term instanceof ListenableFunction) { ListenableFunction function = (ListenableFunction) term; EventGeneratingList<Term> innertermlist = function.getTerms(); innertermlist.addListener(this);
if (term instanceof ListenableFunction) { ListenableFunction function = (ListenableFunction) term; EventGeneratingList<Term> innertermlist = function.getTerms(); innertermlist.removeListener(this); if (term instanceof ListenableFunction) { ListenableFunction function = (ListenableFunction) term; EventGeneratingList<Term> innertermlist = function.getTerms(); innertermlist.addListener(this);