public void internOperator ( String operatorName , int priority , OpSymbol . Associativity associativity ) { int arity ; if ( ( associativity == XFY ) | ( associativity == YFX ) | ( associativity == XFX ) ) { arity = 2 ; } else { arity = 1 ; } int name = interner . internFunctorName ( operatorName , arity ) ; operatorTable . setOperator ( name , operatorName , priority , associativity ) ; }
Interns an operators name as a functor of appropriate arity for the operators fixity and sets the operator in the operator table .