feat(objectionary#329): integrate CheckCast handler

src/main/java/org/eolang/opeo/ast/CheckCast.java

@@ -82,7 +82,7 @@ public CheckCast(final Type type, final AstNode value) {
 
     @Override
     public Iterable<Directive> toXmir() {
-        return new Directives().add("o").attr("base", "cast")
+        return new Directives().add("o").attr("base", "checkcast")
             .append(new DirectivesData(this.type))
             .append(this.value.toXmir())
             .up();

src/main/java/org/eolang/opeo/compilation/XmirParser.java

@@ -32,6 +32,7 @@
 import org.eolang.opeo.ast.AstNode;
 import org.eolang.opeo.ast.Attributes;
 import org.eolang.opeo.ast.Cast;
+import org.eolang.opeo.ast.CheckCast;
 import org.eolang.opeo.ast.ClassField;
 import org.eolang.opeo.ast.ClassName;
 import org.eolang.opeo.ast.Constant;
@@ -175,6 +176,8 @@ public AstNode parse(final XmlNode node) {
             result = new ArrayConstructor(node, this);
         } else if ("return".equals(base)) {
             result = new Return(node, this);
+        } else if ("checkcast".equals(base)) {
+            result = new CheckCast(node, this);
         } else if (!base.isEmpty() && base.charAt(0) == '.') {
             final Attributes attributes = new Attributes(node.firstChild());
             if ("static".equals(attributes.type())) {

src/main/java/org/eolang/opeo/decompilation/handlers/CheckCastHandler.java

@@ -0,0 +1,45 @@
+/*
+ * The MIT License (MIT)
+ *
+ * Copyright (c) 2016-2023 Objectionary.com
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included
+ * in all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+ * SOFTWARE.
+ */
+package org.eolang.opeo.decompilation.handlers;
+
+import org.eolang.opeo.ast.AstNode;
+import org.eolang.opeo.ast.CheckCast;
+import org.eolang.opeo.decompilation.DecompilerState;
+import org.eolang.opeo.decompilation.InstructionHandler;
+import org.objectweb.asm.Type;
+
+/**
+ * CheckCast instruction handler.
+ *
+ * @since 0.5
+ */
+public final class CheckCastHandler implements InstructionHandler {
+
+    @Override
+    public void handle(final DecompilerState state) {
+        final AstNode value = state.stack().pop();
+        final Object type = state.operand(0);
+        state.stack().push(new CheckCast((Type) type, value));
+    }
+}

src/main/java/org/eolang/opeo/decompilation/handlers/RouterHandler.java

@@ -109,6 +109,7 @@ public RouterHandler(final boolean counting) {
                 new MapEntry<>(Opcodes.ASTORE, new StoreHandler(Type.getType(Object.class))),
                 new MapEntry<>(Opcodes.AASTORE, new StoreToArrayHandler()),
                 new MapEntry<>(Opcodes.ANEWARRAY, new NewArrayHandler()),
+                new MapEntry<>(Opcodes.CHECKCAST, new CheckCastHandler()),
                 new MapEntry<>(Opcodes.NEW, new NewHandler()),
                 new MapEntry<>(Opcodes.DUP, new DupHandler()),
                 new MapEntry<>(Opcodes.BIPUSH, new BipushHandler()),

src/test/java/org/eolang/opeo/ast/CheckCastTest.java

@@ -44,7 +44,7 @@ class CheckCastTest {
      */
     private static final String XMIR = String.join(
         "\n",
-        "<o base='cast'>",
+        "<o base='checkcast'>",
         "   <o base='type' data='bytes'>4A</o>",
         "   <o base='int' data='bytes'>00 00 00 00 00 00 00 03</o>",
         "</o>"