IElementType (IElementType tokenType) { if (tokenType == JavaTokenType.PLUSPLUS) { return JavaTokenType.PLUS; } else if (tokenType == JavaTokenType.MINUSMINUS) { return JavaTokenType.MINUS; } else { return null; } }