Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
registerVariable :: [Map String (Bool, Region)] -> Region -> String -> Bool -> [Map String (Bool, Region)] Source #
data VariableStyle Source #
Instances
Eq VariableStyle Source # | |
Defined in GLuaFixer.AG.ASTLint (==) :: VariableStyle -> VariableStyle -> Bool # (/=) :: VariableStyle -> VariableStyle -> Bool # |
combineDeterminedVarStyle :: DeterminedVariableStyle -> VariableStyle -> DeterminedVariableStyle Source #
inh_AST :: LintSettings -> Inh_AST Source #
allAttributes :: LintSettings -> AST -> Syn_AST Source #
astWarnings :: LintSettings -> AST -> [String -> LintMessage] Source #
globalDefinitions :: LintSettings -> AST -> Map String [Region] Source #
sem_AReturn :: AReturn -> T_AReturn Source #
type T_AReturn = (AReturn, T_AReturn_1) Source #
type T_AReturn_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Region, [Map String (Bool, Region)], Int, DeterminedVariableStyle, [String -> LintMessage]) Source #
data Inh_AReturn Source #
data Syn_AReturn Source #
wrap_AReturn :: T_AReturn -> Inh_AReturn -> Syn_AReturn Source #
sem_AReturn_AReturn :: T_Region -> T_MExprList -> T_AReturn Source #
type T_AST = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (AST, Map String [Region], String, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
type T_Args_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
sem_Args_StringArg :: T_MToken -> T_Args Source #
type T_BinOp_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
type T_Block_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Bool, Region, [Map String (Bool, Region)], Int, DeterminedVariableStyle, [String -> LintMessage]) Source #
sem_Block_Block :: T_MStatList -> T_AReturn -> T_Block Source #
type T_Declaration = (Declaration, T_Declaration_1) Source #
type T_Declaration_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
data Inh_Declaration Source #
data Syn_Declaration Source #
type T_Else_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Bool, Map String [Region], String, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
sem_Else_Just :: T_MElse -> T_Else Source #
sem_ElseIf :: ElseIf -> T_ElseIf Source #
type T_ElseIf = (ElseIf, T_ElseIf_1) Source #
type T_ElseIf_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
data Inh_ElseIf Source #
data Syn_ElseIf Source #
wrap_ElseIf :: T_ElseIf -> Inh_ElseIf -> Syn_ElseIf Source #
type T_ElseIfList = (ElseIfList, T_ElseIfList_1) Source #
type T_ElseIfList_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Bool, Map String [Region], String, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
data Inh_ElseIfList Source #
data Syn_ElseIfList Source #
type T_Expr_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> Bool -> Maybe MToken -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Bool, Maybe MToken, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
sem_Expr_ANumber :: String -> T_Expr Source #
sem_Expr_AString :: T_MToken -> T_Expr Source #
type T_ExprSuffixList = (ExprSuffixList, T_ExprSuffixList_1) Source #
type T_ExprSuffixList_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
data Inh_ExprSuffixList Source #
data Syn_ExprSuffixList Source #
type T_Field_1 = LintSettings -> Set Token -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Set Token, Map String [Region], String, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
sem_Field_ExprField :: T_MExpr -> T_MExpr -> T_FieldSep -> T_Field Source #
sem_Field_NamedField :: T_MToken -> T_MExpr -> T_FieldSep -> T_Field Source #
sem_Field_UnnamedField :: T_MExpr -> T_FieldSep -> T_Field Source #
sem_FieldList :: FieldList -> T_FieldList Source #
type T_FieldList = (FieldList, T_FieldList_1) Source #
type T_FieldList_1 = LintSettings -> Set Token -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Set Token, Map String [Region], String, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
data Inh_FieldList Source #
data Syn_FieldList Source #
sem_FieldList_Cons :: T_Field -> T_FieldList -> T_FieldList Source #
sem_FieldSep :: FieldSep -> T_FieldSep Source #
type T_FieldSep = (FieldSep, T_FieldSep_1) Source #
type T_FieldSep_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
data Inh_FieldSep Source #
data Syn_FieldSep Source #
wrap_FieldSep :: T_FieldSep -> Inh_FieldSep -> Syn_FieldSep Source #
sem_FuncName :: FuncName -> T_FuncName Source #
type T_FuncName = (FuncName, Bool, T_FuncName_1) Source #
type T_FuncName_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Map String [Region], Bool, String, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
data Inh_FuncName Source #
data Syn_FuncName Source #
wrap_FuncName :: T_FuncName -> Inh_FuncName -> Syn_FuncName Source #
sem_FuncName_FuncName :: [MToken] -> Maybe MToken -> T_FuncName Source #
type T_MElse_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Bool, Map String [Region], String, Bool, Region, [Map String (Bool, Region)], Int, DeterminedVariableStyle, [String -> LintMessage]) Source #
sem_MElseIf :: MElseIf -> T_MElseIf Source #
type T_MElseIf = (MElseIf, T_MElseIf_1) Source #
type T_MElseIf_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
data Inh_MElseIf Source #
data Syn_MElseIf Source #
wrap_MElseIf :: T_MElseIf -> Inh_MElseIf -> Syn_MElseIf Source #
type T_MExpr_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> Bool -> Maybe MToken -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Bool, Maybe MToken, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
sem_MExprList :: MExprList -> T_MExprList Source #
type T_MExprList = (MExprList, T_MExprList_1) Source #
type T_MExprList_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> Bool -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
data Inh_MExprList Source #
data Syn_MExprList Source #
sem_MExprList_Cons :: T_MExpr -> T_MExprList -> T_MExprList Source #
type T_MStat_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Bool, Region, [Map String (Bool, Region)], Int, DeterminedVariableStyle, [String -> LintMessage]) Source #
sem_MStatList :: MStatList -> T_MStatList Source #
type T_MStatList = (MStatList, T_MStatList_1) Source #
type T_MStatList_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Bool, Region, [Map String (Bool, Region)], Int, DeterminedVariableStyle, [String -> LintMessage]) Source #
data Inh_MStatList Source #
data Syn_MStatList Source #
sem_MStatList_Cons :: T_MStat -> T_MStatList -> T_MStatList Source #
sem_MToken :: MToken -> T_MToken Source #
type T_MToken_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Region -> [Map String (Bool, Region)] -> (Map String [Region], String, Bool, [Map String (Bool, Region)], [String -> LintMessage]) Source #
data Inh_MToken Source #
data Syn_MToken Source #
wrap_MToken :: T_MToken -> Inh_MToken -> Syn_MToken Source #
type T_MTokenList = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Region -> [Map String (Bool, Region)] -> (MTokenList, Map String [Region], String, Bool, Region, [Map String (Bool, Region)], [String -> LintMessage]) Source #
data Inh_MTokenList Source #
type T_MaybeMExpr = (MaybeMExpr, T_MaybeMExpr_1) Source #
type T_MaybeMExpr_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> Maybe MToken -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Maybe MToken, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
data Inh_MaybeMExpr Source #
data Syn_MaybeMExpr Source #
type T_PFExprSuffix = (PFExprSuffix, T_PFExprSuffix_1) Source #
type T_PFExprSuffix_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
data Inh_PFExprSuffix Source #
data Syn_PFExprSuffix Source #
sem_PrefixExp :: PrefixExp -> T_PrefixExp Source #
type T_PrefixExp = (PrefixExp, Bool, Region, Maybe MToken, T_PrefixExp_1) Source #
type T_PrefixExp_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Bool -> Bool -> Int -> Region -> Bool -> Int -> [Map String (Bool, Region)] -> Bool -> Maybe MToken -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Bool, Maybe MToken, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
data Inh_PrefixExp Source #
data Syn_PrefixExp Source #
sem_Region :: Region -> T_Region Source #
data Inh_Region Source #
data Syn_Region Source #
wrap_Region :: T_Region -> Inh_Region -> Syn_Region Source #
sem_Region_Region :: LineColPos -> LineColPos -> T_Region Source #
type T_Stat_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
sem_Stat_Def :: T_VarsList -> T_Stat Source #
sem_Stat_LocDef :: T_VarsList -> T_Stat Source #
sem_Stat_ALabel :: T_MToken -> T_Stat Source #
sem_Stat_AGoto :: T_MToken -> T_Stat Source #
sem_Stat_ADo :: T_Block -> T_Stat Source #
sem_Stat_AIf :: T_MExpr -> T_Block -> T_ElseIfList -> T_Else -> T_Stat Source #
sem_Stat_AGFor :: [MToken] -> T_MExprList -> T_Block -> T_Stat Source #
sem_Stat_AFunc :: T_FuncName -> [MToken] -> T_Block -> T_Stat Source #
sem_Stat_ALocFunc :: T_FuncName -> [MToken] -> T_Block -> T_Stat Source #
sem_Token_Whitespace :: String -> T_Token Source #
sem_Token_TNumber :: String -> T_Token Source #
sem_Token_DQString :: String -> T_Token Source #
sem_Token_SQString :: String -> T_Token Source #
sem_Token_MLString :: String -> T_Token Source #
sem_Token_Identifier :: String -> T_Token Source #
sem_TokenList :: TokenList -> T_TokenList Source #
type T_TokenList = (TokenList, String, [String -> LintMessage]) Source #
data Syn_TokenList Source #
sem_TokenList_Cons :: T_Token -> T_TokenList -> T_TokenList Source #
type T_UnOp_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
sem_VarsList :: VarsList -> T_VarsList Source #
type T_VarsList = (VarsList, T_VarsList_1) Source #
type T_VarsList_1 = LintSettings -> String -> Map String [Region] -> Bool -> Bool -> Bool -> Int -> Region -> Int -> [Map String (Bool, Region)] -> DeterminedVariableStyle -> (Map String [Region], String, Bool, Region, [Map String (Bool, Region)], DeterminedVariableStyle, [String -> LintMessage]) Source #
data Inh_VarsList Source #
data Syn_VarsList Source #
wrap_VarsList :: T_VarsList -> Inh_VarsList -> Syn_VarsList Source #