/** {@inheritDoc} */ public void accept(TermVisitor visitor) { if (visitor instanceof IntegerTypeVisitor) { ((IntegerTypeVisitor) visitor).visit(this); } else { super.accept(visitor); } } }
/** {@inheritDoc} */ public void accept(TermVisitor visitor) { if (visitor instanceof IntegerTypeVisitor) { ((IntegerTypeVisitor) visitor).visit(this); } else { super.accept(visitor); } } }