Struct clarity_repl::clarity::analysis::type_checker::TypeChecker

pub struct TypeChecker<'a, 'b> {
    pub type_map: TypeMap,
    pub cost_track: LimitedCostTracker,
    // some fields omitted
}

Fields

type_map: TypeMap

cost_track: LimitedCostTracker

Implementations

impl<'a, 'b> TypeChecker<'a, 'b>

pub fn track_return_type(
    &mut self,
    return_type: TypeSignature
) -> CheckResult<()>

pub fn run(
    &mut self,
    contract_analysis: &mut ContractAnalysis
) -> CheckResult<()>

pub fn type_check_expects(
    &mut self,
    expr: &SymbolicExpression,
    context: &TypingContext<'_>,
    expected_type: &TypeSignature
) -> TypeResult

pub fn type_check(
    &mut self,
    expr: &SymbolicExpression,
    context: &TypingContext<'_>
) -> TypeResult

Trait Implementations

impl<'_, '_> AnalysisPass for TypeChecker<'_, '_>

fn run_pass(
    contract_analysis: &mut ContractAnalysis,
    analysis_db: &mut AnalysisDatabase<'_>
) -> CheckResult<()>

impl<'_, '_> CostTracker for TypeChecker<'_, '_>

fn add_cost(&mut self, cost: ExecutionCost) -> Result<(), CostErrors>

fn add_memory(&mut self, memory: u64) -> Result<(), CostErrors>

fn drop_memory(&mut self, memory: u64)

fn reset_memory(&mut self)