TheoryDeobjectifier

A Deobjectifier of Theory instances: rebuilds a Theory from a plain list following the same shape produced by TheoryObjectifier (a plain list of TermObjectifier-shaped clauses). Each element of the list is deobjectified with TermDeobjectifier and must, in turn, denote a clause. Used e.g. by a TheoryDeserializer after parsing a JSON/YAML/XML document into such a plain list.

Besides the usual DeobjectificationException (thrown when the top-level object is not a list, or one of its elements does not have the shape expected for a it.unibo.tuprolog.core.Term), implementations may also throw a ClassCastException if an element, once deobjectified with TermDeobjectifier, denotes a it.unibo.tuprolog.core.Term that is not a it.unibo.tuprolog.core.Clause (e.g. a plain it.unibo.tuprolog.core.Struct with neither a "head" nor a "body" key).

See also