public static string OpcodeToString()

in Sources/BoogieAST/BoogieAST.cs [1237:1274]

• 38 lines of code
• 16 McCabe index (conditional complexity)

        public static string OpcodeToString(Opcode op)
        {
            switch (op)
            {
                case Opcode.ADD:
                    return "+";
                case Opcode.SUB:
                    return "-";
                case Opcode.MUL:
                    return "*";
                case Opcode.DIV:
                    return "div";
                case Opcode.MOD:
                    return "mod";
                case Opcode.EQ:
                    return "==";
                case Opcode.NEQ:
                    return "!=";
                case Opcode.GT:
                    return ">";
                case Opcode.GE:
                    return ">=";
                case Opcode.LT:
                    return "<";
                case Opcode.LE:
                    return "<=";
                case Opcode.AND:
                    return "&&";
                case Opcode.OR:
                    return "||";
                case Opcode.IMP:
                    return "==>";
                case Opcode.IFF:
                    return "<==>";
                default:
                    throw new SystemException($"Unknown opcode: {op}");
            }
        }