Searched defs:Postcondition (Results 1 – 7 of 7) sorted by relevance
37 virtual bool Postcondition([[maybe_unused]] public_lib::Context *ctx, in Postcondition() function
66 bool LambdaConstructionPhase::Postcondition(public_lib::Context *ctx, const parser::Program *progra… in Postcondition() function in panda::es2panda::compiler::LambdaConstructionPhase
110 bool ObjectIndexLowering::Postcondition(public_lib::Context *ctx, const parser::Program *program) in Postcondition() function in panda::es2panda::compiler::ObjectIndexLowering
230 bool TupleLowering::Postcondition(public_lib::Context *const ctx, const parser::Program *const prog… in Postcondition() function in panda::es2panda::compiler::TupleLowering
234 bool OpAssignmentLowering::Postcondition(public_lib::Context *ctx, const parser::Program *program) in Postcondition() function in panda::es2panda::compiler::OpAssignmentLowering
193 bool PromiseVoidInferencePhase::Postcondition(public_lib::Context *ctx, const parser::Program *prog… in Postcondition() function in panda::es2panda::compiler::PromiseVoidInferencePhase
416 bool UnionLowering::Postcondition(public_lib::Context *ctx, const parser::Program *program) in Postcondition() function in panda::es2panda::compiler::UnionLowering