Coverage Summary for Class: AppendFast (it.unibo.tuprolog.argumentation.core.primitives.utils)

 package it.unibo.tuprolog.argumentation.core.primitives.utils
 
 import it.unibo.tuprolog.core.List
 import it.unibo.tuprolog.core.Substitution
 import it.unibo.tuprolog.core.Term
 import it.unibo.tuprolog.core.Var
 import it.unibo.tuprolog.solve.ExecutionContext
 import it.unibo.tuprolog.solve.Signature
 import it.unibo.tuprolog.solve.exception.error.TypeError
 import it.unibo.tuprolog.solve.primitive.Primitive
 import it.unibo.tuprolog.solve.primitive.Solve
 
 /**
  * appendFast(+List1, +List2, -List): List is List1 followed by List2, in one step
  */
 internal object AppendFast : Primitive {
     val signature: Signature = Signature("appendFast", 3)
 
     override fun solve(request: Solve.Request<ExecutionContext>): Sequence<Solve.Response> {
         val list1: Term = request.arguments[0]
         val list2: Term = request.arguments[1]
         val res: Term = request.arguments[2]
 
         if (list1 !is List) {
             throw TypeError.forGoal(
                 request.context,
                 request.signature,
                 TypeError.Expected.LIST,
                 list1,
             )
         }
 
         if (list2 !is List) {
             throw TypeError.forGoal(
                 request.context,
                 request.signature,
                 TypeError.Expected.LIST,
                 list2,
             )
         }
 
         if (res !is Var) {
             throw TypeError.forGoal(
                 request.context,
                 request.signature,
                 TypeError.Expected.VARIABLE,
                 res,
             )
         }
 
         return sequence {
             yield(
                 request.replyWith(Substitution.of(res, List.of(list1.toList() + list2.toList()))),
             )
         }
     }
 }