Struct Predicate 

pub struct Predicate {
    pub name: Ident,
    pub span: Span,
    pub params: Vec<Param>,
    pub variables: Variables,
    pub constraints: Vec<ConstraintDecl>,
    pub if_decls: Vec<IfDecl>,
    pub match_decls: Vec<MatchDecl>,
    pub ephemerals: Vec<EphemeralDecl>,
    pub calls: SlotMap<CallKey, String>,
    pub symbols: SymbolTable,
}

An in-progress predicate, possibly malformed or containing redundant information. Designed to be iterated upon and to be reduced to a Predicate.

Fields

name: Ident

span: Span

params: Vec<Param>

variables: Variables

constraints: Vec<ConstraintDecl>

if_decls: Vec<IfDecl>

match_decls: Vec<MatchDecl>

ephemerals: Vec<EphemeralDecl>

calls: SlotMap<CallKey, String>

symbols: SymbolTable

Implementations

impl Predicate

pub fn with_pred<'a, T>( &'a self, contract: &'a Contract, thing: T, ) -> WithPred<'a, T>

Helps out some thing: T by adding self as context.

impl Predicate

pub fn insert_variable( &mut self, handler: &Handler, mod_prefix: &str, local_prefix: Option<&str>, name: &Ident, ty: Option<Type>, expr: ExprKey, span: Span, ) -> Result<VariableKey, ErrorEmitted>

impl Predicate

pub fn new(name: Ident, span: Span) -> Self

pub fn abi( &self, handler: &Handler, contract: &Contract, ) -> Result<PredicateABI, ErrorEmitted>

Generate a PredicateABI given a Predicate

pub fn insert_ephemeral( &mut self, mod_prefix: &str, name: &Ident, ty: Type, ) -> Result<(), ErrorEmitted>

pub fn replace_exprs(&mut self, old_expr: ExprKey, new_expr: ExprKey)

Trait Implementations

impl Clone for Predicate

fn clone(&self) -> Predicate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Predicate

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

Formats the value using the given formatter.

impl Default for Predicate

fn default() -> Self

Returns the “default value” for a type.