Enum QueryEvent

pub enum QueryEvent {
    None,
    Done {
        result: bool,
    },
    Run {
        call_id: u64,
        runnable: Box<dyn Runnable>,
    },
    Debug {
        message: String,
    },
    MakeExternal {
        instance_id: u64,
        constructor: Term,
    },
    ExternalCall {
        call_id: u64,
        instance: Term,
        attribute: Symbol,
        args: Option<Vec<Term>>,
        kwargs: Option<BTreeMap<Symbol, Term>>,
    },
    ExternalIsa {
        call_id: u64,
        instance: Term,
        class_tag: Symbol,
    },
    ExternalIsaWithPath {
        call_id: u64,
        base_tag: Symbol,
        path: TermList,
        class_tag: Symbol,
    },
    ExternalIsSubSpecializer {
        call_id: u64,
        instance_id: u64,
        left_class_tag: Symbol,
        right_class_tag: Symbol,
    },
    ExternalIsSubclass {
        call_id: u64,
        left_class_tag: Symbol,
        right_class_tag: Symbol,
    },
    Result {
        bindings: Bindings,
        trace: Option<TraceResult>,
    },
    ExternalOp {
        call_id: u64,
        operator: Operator,
        args: TermList,
    },
    NextExternal {
        call_id: u64,
        iterable: Term,
    },
}

Variants

None

Done

This runnable is complete with result.

Fields

result: bool

Run

Run runnable, and report the result to its parent using call_id when it completes.

Fields

call_id: u64

runnable: Box<dyn Runnable>

Debug

Fields

message: String

MakeExternal

Fields

instance_id: u64

constructor: Term

ExternalCall

Fields

call_id: u64

Persistent id across all requests for results from the same external call.

instance: Term

The external instance to make this call on.

attribute: Symbol

Field name to lookup or method name to call. A class name indicates a constructor should be called.

args: Option<Vec<Term>>

List of arguments to a method call.

kwargs: Option<BTreeMap<Symbol, Term>>

A map of keyword arguments to a method call.

ExternalIsa

Checks if the instance is an instance of (a subclass of) the class_tag.

Fields

call_id: u64

instance: Term

class_tag: Symbol

ExternalIsaWithPath

Starting from base_tag, traverse path fields and check if the result is an instance of class_tag.

Fields

call_id: u64

base_tag: Symbol

path: TermList

class_tag: Symbol

ExternalIsSubSpecializer

Checks if the left is more specific than right with respect to instance.

Fields

call_id: u64

instance_id: u64

left_class_tag: Symbol

right_class_tag: Symbol

ExternalIsSubclass

Checks if left class tag is a subclass or the same class as right.

Fields

call_id: u64

left_class_tag: Symbol

right_class_tag: Symbol

Result

Fields

bindings: Bindings

trace: Option<TraceResult>

ExternalOp

Fields

call_id: u64

operator: Operator

args: TermList

NextExternal

Fields

call_id: u64

iterable: Term

Trait Implementations

impl Clone for QueryEvent

fn clone(&self) -> QueryEvent

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for QueryEvent

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for QueryEvent

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for QueryEvent

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.