Compilation.ProcedureContext

Documentation

type ExprMap c = Map MacroName (Expression c)

data ProcedureContext c

Constructors

ProcedureContext

Fields

• _pcScope :: SymbolScope
• _pcType :: CategoryName
• _pcExtParams :: Positional (ValueParam c)
• _pcMembers :: [DefinedMember c]
• _pcCategories :: CategoryMap c
• _pcAllFilters :: ParamFilters
• _pcExtFilters :: [ParamFilter c]
• _pcParamScopes :: Map ParamName SymbolScope
• _pcFunctions :: Map FunctionName (ScopedFunction c)
• _pcVariables :: Map VariableName (VariableValue c)
• _pcReturns :: ReturnValidation c
• _pcDeferred :: DeferVariable c
• _pcJumpType :: JumpType
• _pcIsNamed :: Bool
• _pcPrimNamed :: [ReturnVariable]
• _pcRequiredTypes :: Set CategoryName
• _pcOutput :: [String]
• _pcDisallowInit :: Bool
• _pcLoopSetup :: LoopSetup [String]
• _pcCleanupBlocks :: [Maybe (CleanupBlock c [String])]
• _pcInCleanup :: Bool
• _pcUsedVars :: [UsedVariable c]
• _pcExprMap :: ExprMap c
• _pcReservedMacros :: [(MacroName, [c])]
• _pcNoTrace :: Bool
• _pcTestsOnly :: Bool
• _pcTraces :: [String]
• _pcParentCall :: Maybe (Positional ParamName, Positional (Maybe (CallArgLabel c), InputValue c))

Instances

(Show c, CollectErrorsM m) => CompilerContext c m [String] (ProcedureContext c)

Defined in Compilation.ProcedureContext

Methods

ccCurrentScope :: ProcedureContext c -> m SymbolScope

ccResolver :: ProcedureContext c -> m AnyTypeResolver

ccSameType :: ProcedureContext c -> TypeInstance -> m Bool

ccSelfType :: ProcedureContext c -> m TypeInstance

ccAllFilters :: ProcedureContext c -> m ParamFilters

ccGetParamScope :: ProcedureContext c -> ParamName -> m SymbolScope

ccAddRequired :: ProcedureContext c -> Set CategoryName -> m (ProcedureContext c)

ccGetRequired :: ProcedureContext c -> m (Set CategoryName)

ccGetCategoryFunction :: ProcedureContext c -> [c] -> Maybe CategoryName -> FunctionName -> m (ScopedFunction c)

ccGetTypeFunction :: ProcedureContext c -> [c] -> Maybe GeneralInstance -> FunctionName -> m (ScopedFunction c)

ccCheckValueInit :: ProcedureContext c -> [c] -> TypeInstance -> ExpressionType -> m ()

ccGetVariable :: ProcedureContext c -> UsedVariable c -> m (VariableValue c)

ccAddVariable :: ProcedureContext c -> UsedVariable c -> VariableValue c -> m (ProcedureContext c)

ccSetDeferred :: ProcedureContext c -> UsedVariable c -> m (ProcedureContext c)

ccSetReadOnly :: ProcedureContext c -> UsedVariable c -> m (ProcedureContext c)

ccSetHidden :: ProcedureContext c -> UsedVariable c -> m (ProcedureContext c)

ccCheckVariableInit :: ProcedureContext c -> [UsedVariable c] -> m ()

ccWrite :: ProcedureContext c -> [String] -> m (ProcedureContext c)

ccGetOutput :: ProcedureContext c -> m [String]

ccClearOutput :: ProcedureContext c -> m (ProcedureContext c)

ccUpdateAssigned :: ProcedureContext c -> VariableName -> m (ProcedureContext c)

ccAddUsed :: ProcedureContext c -> UsedVariable c -> m (ProcedureContext c)

ccInheritUsed :: ProcedureContext c -> ProcedureContext c -> m (ProcedureContext c)

ccInheritStatic :: ProcedureContext c -> [ProcedureContext c] -> m (ProcedureContext c)

ccInheritDeferred :: ProcedureContext c -> DeferVariable c -> m (ProcedureContext c)

ccRegisterReturn :: ProcedureContext c -> [c] -> Maybe ExpressionType -> m (ProcedureContext c)

ccPrimNamedReturns :: ProcedureContext c -> m [ReturnVariable]

ccIsUnreachable :: ProcedureContext c -> m Bool

ccIsNamedReturns :: ProcedureContext c -> m Bool

ccSetJumpType :: ProcedureContext c -> [c] -> JumpType -> m (ProcedureContext c)

ccStartLoop :: ProcedureContext c -> LoopSetup [String] -> m (ProcedureContext c)

ccGetLoop :: ProcedureContext c -> m (LoopSetup [String])

ccStartCleanup :: ProcedureContext c -> [c] -> m (ProcedureContext c)

ccPushCleanup :: ProcedureContext c -> ProcedureContext c -> m (ProcedureContext c)

ccGetCleanup :: ProcedureContext c -> JumpType -> m (CleanupBlock c [String])

ccExprLookup :: ProcedureContext c -> [c] -> MacroName -> m (Expression c)

ccReserveExprMacro :: ProcedureContext c -> [c] -> MacroName -> m (ProcedureContext c)

ccReleaseExprMacro :: ProcedureContext c -> [c] -> MacroName -> m (ProcedureContext c)

ccSetNoTrace :: ProcedureContext c -> Bool -> m (ProcedureContext c)

ccGetNoTrace :: ProcedureContext c -> m Bool

ccGetTestsOnly :: ProcedureContext c -> m Bool

ccAddTrace :: ProcedureContext c -> String -> m (ProcedureContext c)

ccGetTraces :: ProcedureContext c -> m [String]

ccCanForward :: ProcedureContext c -> [ParamName] -> [VariableName] -> m Bool

ccDelegateArgs :: ProcedureContext c -> m (Positional (Maybe (CallArgLabel c), VariableName))

data ReturnValidation c

Constructors

ValidatePositions

Fields

• vpReturns :: Positional (PassedValue c)

ValidateNames

Fields

• vnNames :: Positional VariableName
• vnTypes :: Positional (PassedValue c)
• vnRemaining :: DeferVariable c

Instances

Show c => Show (ReturnValidation c)

Defined in Compilation.ProcedureContext

Methods

showsPrec :: Int -> ReturnValidation c -> ShowS

show :: ReturnValidation c -> String

showList :: [ReturnValidation c] -> ShowS

updateArgVariables :: (Show c, CollectErrorsM m) => Map VariableName (VariableValue c) -> Positional (PassedValue c, Maybe (CallArgLabel c)) -> ArgValues c -> m (Map VariableName (VariableValue c))

updateReturnVariables :: (Show c, CollectErrorsM m) => Map VariableName (VariableValue c) -> Positional (PassedValue c) -> ReturnValues c -> m (Map VariableName (VariableValue c))