// Make sure that exactly one of AND, OR, XOR is set.
_assert(node.isBitwiseAnd() ^ node.isBitwiseOr() ^ node.isBitwiseXor(),
node, "Invalid operation");
RefType bitwiseType = PtolemyUtilities
.getSootTypeForTokenType(((ASTPtRootNode) node.jjtGetChild(0))
.getType());
SootClass tokenClass = bitwiseType.getSootClass();
Local tokenLocal = Jimple.v().newLocal("token", bitwiseType);
_body.getLocals().add(tokenLocal);
_units