Enum FinalPayload 

pub enum FinalPayload {
    Grep(GrepPayload),
    Ast(AstPayload),
    Semantic(SemanticPayload),
    Malformed {
        raw: String,
        error: String,
    },
}

The top-level FINAL() payload envelope.

Variants

Grep(GrepPayload)

Grep/pattern-match query results

Ast(AstPayload)

AST/structural query results

Semantic(SemanticPayload)

Semantic/free-form text (unverifiable)

Malformed

Malformed JSON that couldn’t be parsed

Fields

raw: String

The raw string that failed to parse

error: String

Error message from parsing attempt

Implementations

impl FinalPayload

pub fn parse(json_str: &str) -> Self

Parse a JSON string into a FinalPayload.

Returns FinalPayload::Malformed if parsing fails.

pub fn is_verifiable(&self) -> bool

Check if this payload is verifiable by an oracle.

pub fn file(&self) -> Option<&str>

Get the file path this payload references (if any).

pub fn summary(&self) -> String

Convert to a debuggable string representation.

Trait Implementations

impl Clone for FinalPayload

fn clone(&self) -> FinalPayload

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FinalPayload

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FinalPayload

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for FinalPayload

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

Formats the value using the given formatter.

impl PartialEq for FinalPayload

fn eq(&self, other: &FinalPayload) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for FinalPayload

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for FinalPayload