Safe Haskell	Safe-Inferred
Language	Haskell2010

GLuaFixer.AG.ASTLint

Documentation

warn :: Region -> Issue -> FilePath -> LintMessage Source #

oppositeBinOp :: BinOp -> Maybe String Source #

checkShadows :: [Map String (Bool, Region)] -> MToken -> Maybe (FilePath -> LintMessage) Source #

isVariableLocal :: [Map String (Bool, Region)] -> String -> Bool Source #

registerVariable :: [Map String (Bool, Region)] -> Region -> String -> Bool -> [Map String (Bool, Region)] Source #

findSelf :: [MToken] -> Bool Source #

data VariableStyle Source #

Constructors

StartsLowerCase
StartsUpperCase
VariableStyleNeither

Instances

Instances details

Eq VariableStyle Source #
Instance details Defined in GLuaFixer.AG.ASTLint Methods (==) :: VariableStyle -> VariableStyle -> Bool # (/=) :: VariableStyle -> VariableStyle -> Bool #

data DeterminedVariableStyle Source #

Constructors

VarStyleNotDetermined
VarStyleDetermined !VariableStyle

combineDeterminedVarStyle :: DeterminedVariableStyle -> VariableStyle -> DeterminedVariableStyle Source #

determineVariableStyle :: String -> VariableStyle Source #

variableStyleInconsistent :: DeterminedVariableStyle -> VariableStyle -> Bool Source #

unknownIdentifier :: String 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 #

Constructors

Inh_AReturn
Fields config_Inh_AReturn :: LintSettings funcName_Inh_AReturn :: String globalDefinitions_Inh_AReturn :: Map String [Region] isInModule_Inh_AReturn :: Bool isMeta_Inh_AReturn :: Bool loopLevel_Inh_AReturn :: Int mtokenPos_Inh_AReturn :: Region scopeLevel_Inh_AReturn :: Int scopes_Inh_AReturn :: [Map String (Bool, Region)] variableStyle_Inh_AReturn :: DeterminedVariableStyle

data Syn_AReturn Source #

Constructors

Syn_AReturn
Fields copy_Syn_AReturn :: AReturn globalDefinitions_Syn_AReturn :: Map String [Region] identifier_Syn_AReturn :: String isInModule_Syn_AReturn :: Bool mtokenPos_Syn_AReturn :: Region scopes_Syn_AReturn :: [Map String (Bool, Region)] statementCount_Syn_AReturn :: Int variableStyle_Syn_AReturn :: DeterminedVariableStyle warnings_Syn_AReturn :: [String -> LintMessage]

wrap_AReturn :: T_AReturn -> Inh_AReturn -> Syn_AReturn Source #

sem_AReturn_AReturn :: Region -> T_MExprList -> T_AReturn Source #

sem_AReturn_NoReturn :: T_AReturn Source #

sem_AST :: AST -> T_AST 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 #

data Inh_AST Source #

Constructors

Inh_AST
Fields config_Inh_AST :: LintSettings funcName_Inh_AST :: String globalDefinitions_Inh_AST :: Map String [Region] isInModule_Inh_AST :: Bool isMeta_Inh_AST :: Bool loopLevel_Inh_AST :: Int mtokenPos_Inh_AST :: Region scopeLevel_Inh_AST :: Int scopes_Inh_AST :: [Map String (Bool, Region)] variableStyle_Inh_AST :: DeterminedVariableStyle

data Syn_AST Source #

Constructors

Syn_AST
Fields copy_Syn_AST :: AST globalDefinitions_Syn_AST :: Map String [Region] identifier_Syn_AST :: String isInModule_Syn_AST :: Bool mtokenPos_Syn_AST :: Region scopes_Syn_AST :: [Map String (Bool, Region)] variableStyle_Syn_AST :: DeterminedVariableStyle warnings_Syn_AST :: [String -> LintMessage]

wrap_AST :: T_AST -> Inh_AST -> Syn_AST Source #

sem_AST_AST :: [MToken] -> T_Block -> T_AST Source #

sem_Args :: Args -> T_Args Source #

type T_Args = (Args, T_Args_1) 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 #

data Inh_Args Source #

Constructors

Inh_Args
Fields config_Inh_Args :: LintSettings funcName_Inh_Args :: String globalDefinitions_Inh_Args :: Map String [Region] isInModule_Inh_Args :: Bool isMeta_Inh_Args :: Bool loopLevel_Inh_Args :: Int mtokenPos_Inh_Args :: Region scopeLevel_Inh_Args :: Int scopes_Inh_Args :: [Map String (Bool, Region)] variableStyle_Inh_Args :: DeterminedVariableStyle

data Syn_Args Source #

Constructors

Syn_Args
Fields copy_Syn_Args :: Args globalDefinitions_Syn_Args :: Map String [Region] identifier_Syn_Args :: String isInModule_Syn_Args :: Bool mtokenPos_Syn_Args :: Region scopes_Syn_Args :: [Map String (Bool, Region)] variableStyle_Syn_Args :: DeterminedVariableStyle warnings_Syn_Args :: [String -> LintMessage]

wrap_Args :: T_Args -> Inh_Args -> Syn_Args Source #

sem_Args_ListArgs :: T_MExprList -> T_Args Source #

sem_Args_TableArg :: T_FieldList -> T_Args Source #

sem_Args_StringArg :: T_MToken -> T_Args Source #

sem_BinOp :: BinOp -> T_BinOp Source #

type T_BinOp = (BinOp, T_BinOp_1) 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 #

data Inh_BinOp Source #

Constructors

Inh_BinOp
Fields config_Inh_BinOp :: LintSettings funcName_Inh_BinOp :: String globalDefinitions_Inh_BinOp :: Map String [Region] isInModule_Inh_BinOp :: Bool isMeta_Inh_BinOp :: Bool loopLevel_Inh_BinOp :: Int mtokenPos_Inh_BinOp :: Region scopeLevel_Inh_BinOp :: Int scopes_Inh_BinOp :: [Map String (Bool, Region)] variableStyle_Inh_BinOp :: DeterminedVariableStyle

data Syn_BinOp Source #

Constructors

Syn_BinOp
Fields copy_Syn_BinOp :: BinOp globalDefinitions_Syn_BinOp :: Map String [Region] identifier_Syn_BinOp :: String isInModule_Syn_BinOp :: Bool mtokenPos_Syn_BinOp :: Region scopes_Syn_BinOp :: [Map String (Bool, Region)] variableStyle_Syn_BinOp :: DeterminedVariableStyle warnings_Syn_BinOp :: [String -> LintMessage]

wrap_BinOp :: T_BinOp -> Inh_BinOp -> Syn_BinOp Source #

sem_BinOp_AOr :: T_BinOp Source #

sem_BinOp_AAnd :: T_BinOp Source #

sem_BinOp_ALT :: T_BinOp Source #

sem_BinOp_AGT :: T_BinOp Source #

sem_BinOp_ALEQ :: T_BinOp Source #

sem_BinOp_AGEQ :: T_BinOp Source #

sem_BinOp_ANEq :: T_BinOp Source #

sem_BinOp_AEq :: T_BinOp Source #

sem_BinOp_AConcatenate :: T_BinOp Source #

sem_BinOp_APlus :: T_BinOp Source #

sem_BinOp_BinMinus :: T_BinOp Source #

sem_BinOp_AMultiply :: T_BinOp Source #

sem_BinOp_ADivide :: T_BinOp Source #

sem_BinOp_AModulus :: T_BinOp Source #

sem_BinOp_APower :: T_BinOp Source #

sem_Block :: Block -> T_Block Source #

type T_Block = (Block, T_Block_1) 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 #

data Inh_Block Source #

Constructors

Inh_Block
Fields config_Inh_Block :: LintSettings funcName_Inh_Block :: String globalDefinitions_Inh_Block :: Map String [Region] isInModule_Inh_Block :: Bool isMeta_Inh_Block :: Bool isRepeat_Inh_Block :: Bool loopLevel_Inh_Block :: Int mtokenPos_Inh_Block :: Region scopeLevel_Inh_Block :: Int scopes_Inh_Block :: [Map String (Bool, Region)] variableStyle_Inh_Block :: DeterminedVariableStyle

data Syn_Block Source #

Constructors

Syn_Block
Fields copy_Syn_Block :: Block globalDefinitions_Syn_Block :: Map String [Region] identifier_Syn_Block :: String isIfStatement_Syn_Block :: Bool isInModule_Syn_Block :: Bool mtokenPos_Syn_Block :: Region scopes_Syn_Block :: [Map String (Bool, Region)] statementCount_Syn_Block :: Int variableStyle_Syn_Block :: DeterminedVariableStyle warnings_Syn_Block :: [String -> LintMessage]

wrap_Block :: T_Block -> Inh_Block -> Syn_Block Source #

sem_Block_Block :: Region -> T_MStatList -> T_AReturn -> T_Block Source #

sem_Declaration :: Declaration -> T_Declaration 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 Syn_Declaration Source #

Constructors

Syn_Declaration
Fields copy_Syn_Declaration :: Declaration globalDefinitions_Syn_Declaration :: Map String [Region] identifier_Syn_Declaration :: String isInModule_Syn_Declaration :: Bool mtokenPos_Syn_Declaration :: Region scopes_Syn_Declaration :: [Map String (Bool, Region)] variableStyle_Syn_Declaration :: DeterminedVariableStyle warnings_Syn_Declaration :: [String -> LintMessage]

wrap_Declaration :: T_Declaration -> Inh_Declaration -> Syn_Declaration Source #

sem_Declaration_Tuple :: T_PrefixExp -> T_MaybeMExpr -> T_Declaration Source #

sem_Else :: Else -> T_Else Source #

type T_Else = (Else, T_Else_1) 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 #

data Inh_Else Source #

Constructors

Inh_Else
Fields config_Inh_Else :: LintSettings funcName_Inh_Else :: String globalDefinitions_Inh_Else :: Map String [Region] isInModule_Inh_Else :: Bool isMeta_Inh_Else :: Bool loopLevel_Inh_Else :: Int mtokenPos_Inh_Else :: Region scopeLevel_Inh_Else :: Int scopes_Inh_Else :: [Map String (Bool, Region)] variableStyle_Inh_Else :: DeterminedVariableStyle

data Syn_Else Source #

Constructors

Syn_Else
Fields copy_Syn_Else :: Else elseExists_Syn_Else :: Bool globalDefinitions_Syn_Else :: Map String [Region] identifier_Syn_Else :: String isInModule_Syn_Else :: Bool mtokenPos_Syn_Else :: Region scopes_Syn_Else :: [Map String (Bool, Region)] variableStyle_Syn_Else :: DeterminedVariableStyle warnings_Syn_Else :: [String -> LintMessage]

wrap_Else :: T_Else -> Inh_Else -> Syn_Else Source #

sem_Else_Just :: T_MElse -> T_Else Source #

sem_Else_Nothing :: 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 #

Constructors

Inh_ElseIf
Fields config_Inh_ElseIf :: LintSettings funcName_Inh_ElseIf :: String globalDefinitions_Inh_ElseIf :: Map String [Region] isInModule_Inh_ElseIf :: Bool isMeta_Inh_ElseIf :: Bool loopLevel_Inh_ElseIf :: Int mtokenPos_Inh_ElseIf :: Region scopeLevel_Inh_ElseIf :: Int scopes_Inh_ElseIf :: [Map String (Bool, Region)] variableStyle_Inh_ElseIf :: DeterminedVariableStyle

data Syn_ElseIf Source #

Constructors

Syn_ElseIf
Fields copy_Syn_ElseIf :: ElseIf globalDefinitions_Syn_ElseIf :: Map String [Region] identifier_Syn_ElseIf :: String isInModule_Syn_ElseIf :: Bool mtokenPos_Syn_ElseIf :: Region scopes_Syn_ElseIf :: [Map String (Bool, Region)] variableStyle_Syn_ElseIf :: DeterminedVariableStyle warnings_Syn_ElseIf :: [String -> LintMessage]

wrap_ElseIf :: T_ElseIf -> Inh_ElseIf -> Syn_ElseIf Source #

sem_ElseIf_Tuple :: T_MExpr -> T_Block -> T_ElseIf Source #

sem_ElseIfList :: ElseIfList -> T_ElseIfList 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 #

Constructors

Inh_ElseIfList

data Syn_ElseIfList Source #

Constructors

Syn_ElseIfList

wrap_ElseIfList :: T_ElseIfList -> Inh_ElseIfList -> Syn_ElseIfList Source #

sem_ElseIfList_Cons :: T_MElseIf -> T_ElseIfList -> T_ElseIfList Source #

sem_ElseIfList_Nil :: T_ElseIfList Source #

sem_Expr :: Expr -> T_Expr Source #

type T_Expr = (Expr, T_Expr_1) 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 #

data Inh_Expr Source #

Constructors

Inh_Expr

Fields

config_Inh_Expr :: LintSettings
funcName_Inh_Expr :: String
globalDefinitions_Inh_Expr :: Map String [Region]
inParentheses_Inh_Expr :: Bool
isInModule_Inh_Expr :: Bool
isMeta_Inh_Expr :: Bool
isNegation_Inh_Expr :: Bool
loopLevel_Inh_Expr :: Int
mtokenPos_Inh_Expr :: Region
scopeLevel_Inh_Expr :: Int
scopes_Inh_Expr :: [Map String (Bool, Region)]
topLevel_Inh_Expr :: Bool
varBeingDefined_Inh_Expr :: Maybe MToken
variableStyle_Inh_Expr :: DeterminedVariableStyle

data Syn_Expr Source #

Constructors

Syn_Expr
Fields copy_Syn_Expr :: Expr globalDefinitions_Syn_Expr :: Map String [Region] identifier_Syn_Expr :: String isInModule_Syn_Expr :: Bool isSimpleExpression_Syn_Expr :: Bool isSingleVar_Syn_Expr :: Maybe MToken mtokenPos_Syn_Expr :: Region scopes_Syn_Expr :: [Map String (Bool, Region)] variableStyle_Syn_Expr :: DeterminedVariableStyle warnings_Syn_Expr :: [String -> LintMessage]

wrap_Expr :: T_Expr -> Inh_Expr -> Syn_Expr Source #

sem_Expr_ANil :: T_Expr Source #

sem_Expr_AFalse :: T_Expr Source #

sem_Expr_ATrue :: T_Expr Source #

sem_Expr_ANumber :: String -> T_Expr Source #

sem_Expr_AString :: T_MToken -> T_Expr Source #

sem_Expr_AVarArg :: T_Expr Source #

sem_Expr_AnonymousFunc :: [MToken] -> T_Block -> T_Expr Source #

sem_Expr_APrefixExpr :: T_PrefixExp -> T_Expr Source #

sem_Expr_ATableConstructor :: T_FieldList -> T_Expr Source #

sem_Expr_BinOpExpr :: T_BinOp -> T_MExpr -> T_MExpr -> T_Expr Source #

sem_Expr_UnOpExpr :: T_UnOp -> T_MExpr -> T_Expr Source #

sem_ExprSuffixList :: ExprSuffixList -> T_ExprSuffixList 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 #

wrap_ExprSuffixList :: T_ExprSuffixList -> Inh_ExprSuffixList -> Syn_ExprSuffixList Source #

sem_ExprSuffixList_Cons :: T_PFExprSuffix -> T_ExprSuffixList -> T_ExprSuffixList Source #

sem_ExprSuffixList_Nil :: T_ExprSuffixList Source #

sem_Field :: Field -> T_Field Source #

type T_Field = (Field, T_Field_1) 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 #

data Inh_Field Source #

Constructors

Inh_Field

Fields

config_Inh_Field :: LintSettings
fieldNames_Inh_Field :: Set Token
funcName_Inh_Field :: String
globalDefinitions_Inh_Field :: Map String [Region]
isInModule_Inh_Field :: Bool
isMeta_Inh_Field :: Bool
loopLevel_Inh_Field :: Int
mtokenPos_Inh_Field :: Region
scopeLevel_Inh_Field :: Int
scopes_Inh_Field :: [Map String (Bool, Region)]
variableStyle_Inh_Field :: DeterminedVariableStyle

data Syn_Field Source #

Constructors

Syn_Field
Fields copy_Syn_Field :: Field fieldNames_Syn_Field :: Set Token globalDefinitions_Syn_Field :: Map String [Region] identifier_Syn_Field :: String isInModule_Syn_Field :: Bool mtokenPos_Syn_Field :: Region scopes_Syn_Field :: [Map String (Bool, Region)] variableStyle_Syn_Field :: DeterminedVariableStyle warnings_Syn_Field :: [String -> LintMessage]

wrap_Field :: T_Field -> Inh_Field -> Syn_Field 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 #

Constructors

Inh_FieldList

data Syn_FieldList Source #

Constructors

Syn_FieldList
Fields copy_Syn_FieldList :: FieldList fieldNames_Syn_FieldList :: Set Token globalDefinitions_Syn_FieldList :: Map String [Region] identifier_Syn_FieldList :: String isInModule_Syn_FieldList :: Bool mtokenPos_Syn_FieldList :: Region scopes_Syn_FieldList :: [Map String (Bool, Region)] variableStyle_Syn_FieldList :: DeterminedVariableStyle warnings_Syn_FieldList :: [String -> LintMessage]

wrap_FieldList :: T_FieldList -> Inh_FieldList -> Syn_FieldList Source #

sem_FieldList_Cons :: T_Field -> T_FieldList -> T_FieldList Source #

sem_FieldList_Nil :: 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 #

Constructors

Inh_FieldSep
Fields config_Inh_FieldSep :: LintSettings funcName_Inh_FieldSep :: String globalDefinitions_Inh_FieldSep :: Map String [Region] isInModule_Inh_FieldSep :: Bool isMeta_Inh_FieldSep :: Bool loopLevel_Inh_FieldSep :: Int mtokenPos_Inh_FieldSep :: Region scopeLevel_Inh_FieldSep :: Int scopes_Inh_FieldSep :: [Map String (Bool, Region)] variableStyle_Inh_FieldSep :: DeterminedVariableStyle

data Syn_FieldSep Source #

Constructors

Syn_FieldSep
Fields copy_Syn_FieldSep :: FieldSep globalDefinitions_Syn_FieldSep :: Map String [Region] identifier_Syn_FieldSep :: String isInModule_Syn_FieldSep :: Bool mtokenPos_Syn_FieldSep :: Region scopes_Syn_FieldSep :: [Map String (Bool, Region)] variableStyle_Syn_FieldSep :: DeterminedVariableStyle warnings_Syn_FieldSep :: [String -> LintMessage]

wrap_FieldSep :: T_FieldSep -> Inh_FieldSep -> Syn_FieldSep Source #

sem_FieldSep_CommaSep :: T_FieldSep Source #

sem_FieldSep_SemicolonSep :: T_FieldSep Source #

sem_FieldSep_NoSep :: T_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 #

Constructors

Inh_FuncName
Fields config_Inh_FuncName :: LintSettings funcName_Inh_FuncName :: String globalDefinitions_Inh_FuncName :: Map String [Region] isInModule_Inh_FuncName :: Bool isMeta_Inh_FuncName :: Bool loopLevel_Inh_FuncName :: Int mtokenPos_Inh_FuncName :: Region scopeLevel_Inh_FuncName :: Int scopes_Inh_FuncName :: [Map String (Bool, Region)] variableStyle_Inh_FuncName :: DeterminedVariableStyle

data Syn_FuncName Source #

Constructors

Syn_FuncName

Fields

copy_Syn_FuncName :: FuncName
globalDefinitions_Syn_FuncName :: Map String [Region]
hasSuffixes_Syn_FuncName :: Bool
identifier_Syn_FuncName :: String
isInModule_Syn_FuncName :: Bool
isMeta_Syn_FuncName :: Bool
mtokenPos_Syn_FuncName :: Region
scopes_Syn_FuncName :: [Map String (Bool, Region)]
variableStyle_Syn_FuncName :: DeterminedVariableStyle
warnings_Syn_FuncName :: [String -> LintMessage]

wrap_FuncName :: T_FuncName -> Inh_FuncName -> Syn_FuncName Source #

sem_FuncName_FuncName :: [MToken] -> Maybe MToken -> T_FuncName Source #

sem_MElse :: MElse -> T_MElse Source #

type T_MElse = (MElse, T_MElse_1) 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 #

data Inh_MElse Source #

Constructors

Inh_MElse
Fields config_Inh_MElse :: LintSettings funcName_Inh_MElse :: String globalDefinitions_Inh_MElse :: Map String [Region] isInModule_Inh_MElse :: Bool isMeta_Inh_MElse :: Bool loopLevel_Inh_MElse :: Int mtokenPos_Inh_MElse :: Region scopeLevel_Inh_MElse :: Int scopes_Inh_MElse :: [Map String (Bool, Region)] variableStyle_Inh_MElse :: DeterminedVariableStyle

data Syn_MElse Source #

Constructors

Syn_MElse
Fields copy_Syn_MElse :: MElse elseExists_Syn_MElse :: Bool globalDefinitions_Syn_MElse :: Map String [Region] identifier_Syn_MElse :: String isInModule_Syn_MElse :: Bool mtokenPos_Syn_MElse :: Region scopes_Syn_MElse :: [Map String (Bool, Region)] statementCount_Syn_MElse :: Int variableStyle_Syn_MElse :: DeterminedVariableStyle warnings_Syn_MElse :: [String -> LintMessage]

wrap_MElse :: T_MElse -> Inh_MElse -> Syn_MElse Source #

sem_MElse_MElse :: Region -> T_Block -> T_MElse 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 #

Constructors

Inh_MElseIf
Fields config_Inh_MElseIf :: LintSettings funcName_Inh_MElseIf :: String globalDefinitions_Inh_MElseIf :: Map String [Region] isInModule_Inh_MElseIf :: Bool isMeta_Inh_MElseIf :: Bool loopLevel_Inh_MElseIf :: Int mtokenPos_Inh_MElseIf :: Region scopeLevel_Inh_MElseIf :: Int scopes_Inh_MElseIf :: [Map String (Bool, Region)] variableStyle_Inh_MElseIf :: DeterminedVariableStyle

data Syn_MElseIf Source #

Constructors

Syn_MElseIf
Fields copy_Syn_MElseIf :: MElseIf globalDefinitions_Syn_MElseIf :: Map String [Region] identifier_Syn_MElseIf :: String isInModule_Syn_MElseIf :: Bool mtokenPos_Syn_MElseIf :: Region scopes_Syn_MElseIf :: [Map String (Bool, Region)] variableStyle_Syn_MElseIf :: DeterminedVariableStyle warnings_Syn_MElseIf :: [String -> LintMessage]

wrap_MElseIf :: T_MElseIf -> Inh_MElseIf -> Syn_MElseIf Source #

sem_MElseIf_MElseIf :: Region -> T_ElseIf -> T_MElseIf Source #

sem_MExpr :: MExpr -> T_MExpr Source #

type T_MExpr = (MExpr, Region, T_MExpr_1) 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 #

data Inh_MExpr Source #

Constructors

Inh_MExpr

Fields

config_Inh_MExpr :: LintSettings
funcName_Inh_MExpr :: String
globalDefinitions_Inh_MExpr :: Map String [Region]
inParentheses_Inh_MExpr :: Bool
isInModule_Inh_MExpr :: Bool
isMeta_Inh_MExpr :: Bool
isNegation_Inh_MExpr :: Bool
loopLevel_Inh_MExpr :: Int
mtokenPos_Inh_MExpr :: Region
scopeLevel_Inh_MExpr :: Int
scopes_Inh_MExpr :: [Map String (Bool, Region)]
topLevel_Inh_MExpr :: Bool
varBeingDefined_Inh_MExpr :: Maybe MToken
variableStyle_Inh_MExpr :: DeterminedVariableStyle

data Syn_MExpr Source #

Constructors

Syn_MExpr

Fields

copy_Syn_MExpr :: MExpr
globalDefinitions_Syn_MExpr :: Map String [Region]
identifier_Syn_MExpr :: String
isInModule_Syn_MExpr :: Bool
isSimpleExpression_Syn_MExpr :: Bool
isSingleVar_Syn_MExpr :: Maybe MToken
mtokenPos_Syn_MExpr :: Region
scopes_Syn_MExpr :: [Map String (Bool, Region)]
variableStyle_Syn_MExpr :: DeterminedVariableStyle
warnings_Syn_MExpr :: [String -> LintMessage]

wrap_MExpr :: T_MExpr -> Inh_MExpr -> Syn_MExpr Source #

sem_MExpr_MExpr :: Region -> T_Expr -> T_MExpr 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 #

Constructors

Inh_MExprList

data Syn_MExprList Source #

Constructors

Syn_MExprList
Fields copy_Syn_MExprList :: MExprList globalDefinitions_Syn_MExprList :: Map String [Region] identifier_Syn_MExprList :: String isInModule_Syn_MExprList :: Bool mtokenPos_Syn_MExprList :: Region scopes_Syn_MExprList :: [Map String (Bool, Region)] variableStyle_Syn_MExprList :: DeterminedVariableStyle warnings_Syn_MExprList :: [String -> LintMessage]

wrap_MExprList :: T_MExprList -> Inh_MExprList -> Syn_MExprList Source #

sem_MExprList_Cons :: T_MExpr -> T_MExprList -> T_MExprList Source #

sem_MExprList_Nil :: T_MExprList Source #

sem_MStat :: MStat -> T_MStat Source #

type T_MStat = (MStat, T_MStat_1) 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 #

data Inh_MStat Source #

Constructors

Inh_MStat
Fields config_Inh_MStat :: LintSettings funcName_Inh_MStat :: String globalDefinitions_Inh_MStat :: Map String [Region] isInModule_Inh_MStat :: Bool isMeta_Inh_MStat :: Bool loopLevel_Inh_MStat :: Int mtokenPos_Inh_MStat :: Region scopeLevel_Inh_MStat :: Int scopes_Inh_MStat :: [Map String (Bool, Region)] variableStyle_Inh_MStat :: DeterminedVariableStyle

data Syn_MStat Source #

Constructors

Syn_MStat
Fields copy_Syn_MStat :: MStat globalDefinitions_Syn_MStat :: Map String [Region] identifier_Syn_MStat :: String isIfStatement_Syn_MStat :: Bool isInModule_Syn_MStat :: Bool mtokenPos_Syn_MStat :: Region scopes_Syn_MStat :: [Map String (Bool, Region)] statementCount_Syn_MStat :: Int variableStyle_Syn_MStat :: DeterminedVariableStyle warnings_Syn_MStat :: [String -> LintMessage]

wrap_MStat :: T_MStat -> Inh_MStat -> Syn_MStat Source #

sem_MStat_MStat :: Region -> T_Stat -> T_MStat 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 #

Constructors

Inh_MStatList

data Syn_MStatList Source #

Constructors

Syn_MStatList

wrap_MStatList :: T_MStatList -> Inh_MStatList -> Syn_MStatList Source #

sem_MStatList_Cons :: T_MStat -> T_MStatList -> T_MStatList Source #

sem_MStatList_Nil :: T_MStatList Source #

sem_MToken :: MToken -> T_MToken Source #

type T_MToken = (MToken, Token, Region, T_MToken_1) 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 #

Constructors

Inh_MToken
Fields config_Inh_MToken :: LintSettings funcName_Inh_MToken :: String globalDefinitions_Inh_MToken :: Map String [Region] isInModule_Inh_MToken :: Bool isMeta_Inh_MToken :: Bool mtokenPos_Inh_MToken :: Region scopes_Inh_MToken :: [Map String (Bool, Region)]

data Syn_MToken Source #

Constructors

Syn_MToken
Fields copy_Syn_MToken :: MToken globalDefinitions_Syn_MToken :: Map String [Region] identifier_Syn_MToken :: String isInModule_Syn_MToken :: Bool mtok_Syn_MToken :: Token mtokenPos_Syn_MToken :: Region scopes_Syn_MToken :: [Map String (Bool, Region)] warnings_Syn_MToken :: [String -> LintMessage]

wrap_MToken :: T_MToken -> Inh_MToken -> Syn_MToken Source #

sem_MToken_MToken :: Region -> T_Token -> T_MToken Source #

sem_MTokenList :: MTokenList -> T_MTokenList 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 #

Constructors

Inh_MTokenList
Fields config_Inh_MTokenList :: LintSettings funcName_Inh_MTokenList :: String globalDefinitions_Inh_MTokenList :: Map String [Region] isInModule_Inh_MTokenList :: Bool isMeta_Inh_MTokenList :: Bool mtokenPos_Inh_MTokenList :: Region scopes_Inh_MTokenList :: [Map String (Bool, Region)]

data Syn_MTokenList Source #

Constructors

Syn_MTokenList
Fields copy_Syn_MTokenList :: MTokenList globalDefinitions_Syn_MTokenList :: Map String [Region] identifier_Syn_MTokenList :: String isInModule_Syn_MTokenList :: Bool mtokenPos_Syn_MTokenList :: Region scopes_Syn_MTokenList :: [Map String (Bool, Region)] warnings_Syn_MTokenList :: [String -> LintMessage]

wrap_MTokenList :: T_MTokenList -> Inh_MTokenList -> Syn_MTokenList Source #

sem_MTokenList_Cons :: T_MToken -> T_MTokenList -> T_MTokenList Source #

sem_MTokenList_Nil :: T_MTokenList Source #

sem_MaybeMExpr :: MaybeMExpr -> T_MaybeMExpr 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 #

Constructors

Syn_MaybeMExpr

wrap_MaybeMExpr :: T_MaybeMExpr -> Inh_MaybeMExpr -> Syn_MaybeMExpr Source #

sem_MaybeMExpr_Just :: T_MExpr -> T_MaybeMExpr Source #

sem_MaybeMExpr_Nothing :: T_MaybeMExpr Source #

sem_PFExprSuffix :: PFExprSuffix -> T_PFExprSuffix 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 Syn_PFExprSuffix Source #

wrap_PFExprSuffix :: T_PFExprSuffix -> Inh_PFExprSuffix -> Syn_PFExprSuffix Source #

sem_PFExprSuffix_Call :: T_Args -> T_PFExprSuffix Source #

sem_PFExprSuffix_MetaCall :: T_MToken -> T_Args -> T_PFExprSuffix Source #

sem_PFExprSuffix_ExprIndex :: T_MExpr -> T_PFExprSuffix Source #

sem_PFExprSuffix_DotIndex :: T_MToken -> T_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 #

Constructors

Syn_PrefixExp

wrap_PrefixExp :: T_PrefixExp -> Inh_PrefixExp -> Syn_PrefixExp Source #

sem_PrefixExp_PFVar :: T_MToken -> T_ExprSuffixList -> T_PrefixExp Source #

sem_PrefixExp_ExprVar :: T_MExpr -> T_ExprSuffixList -> T_PrefixExp Source #

sem_Stat :: Stat -> T_Stat Source #

type T_Stat = (Stat, T_Stat_1) 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 #

data Inh_Stat Source #

Constructors

Inh_Stat
Fields config_Inh_Stat :: LintSettings funcName_Inh_Stat :: String globalDefinitions_Inh_Stat :: Map String [Region] isInModule_Inh_Stat :: Bool isMeta_Inh_Stat :: Bool loopLevel_Inh_Stat :: Int mtokenPos_Inh_Stat :: Region scopeLevel_Inh_Stat :: Int scopes_Inh_Stat :: [Map String (Bool, Region)] variableStyle_Inh_Stat :: DeterminedVariableStyle

data Syn_Stat Source #

Constructors

Syn_Stat
Fields copy_Syn_Stat :: Stat globalDefinitions_Syn_Stat :: Map String [Region] identifier_Syn_Stat :: String isIfStatement_Syn_Stat :: Bool isInModule_Syn_Stat :: Bool mtokenPos_Syn_Stat :: Region scopes_Syn_Stat :: [Map String (Bool, Region)] variableStyle_Syn_Stat :: DeterminedVariableStyle warnings_Syn_Stat :: [String -> LintMessage]

wrap_Stat :: T_Stat -> Inh_Stat -> Syn_Stat Source #

sem_Stat_Def :: T_VarsList -> T_Stat Source #

sem_Stat_LocDef :: T_VarsList -> T_Stat Source #

sem_Stat_AFuncCall :: T_PrefixExp -> T_Stat Source #

sem_Stat_ALabel :: T_MToken -> T_Stat Source #

sem_Stat_ABreak :: T_Stat Source #

sem_Stat_AContinue :: T_Stat Source #

sem_Stat_AGoto :: T_MToken -> T_Stat Source #

sem_Stat_ADo :: T_Block -> T_Stat Source #

sem_Stat_AWhile :: T_MExpr -> T_Block -> T_Stat Source #

sem_Stat_ARepeat :: T_Block -> T_MExpr -> T_Stat Source #

sem_Stat_AIf :: T_MExpr -> T_Block -> T_ElseIfList -> T_Else -> T_Stat Source #

sem_Stat_ANFor :: T_MToken -> T_MExpr -> T_MExpr -> T_MExpr -> T_Block -> 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 :: Token -> T_Token Source #

type T_Token = (Token, String, [String -> LintMessage]) Source #

data Inh_Token Source #

Constructors

Inh_Token

data Syn_Token Source #

Constructors

Syn_Token
Fields copy_Syn_Token :: Token identifier_Syn_Token :: String warnings_Syn_Token :: [String -> LintMessage]

wrap_Token :: T_Token -> Inh_Token -> Syn_Token Source #

sem_Token_Whitespace :: String -> T_Token Source #

sem_Token_DashComment :: String -> T_Token Source #

sem_Token_DashBlockComment :: Int -> String -> T_Token Source #

sem_Token_SlashComment :: String -> T_Token Source #

sem_Token_SlashBlockComment :: String -> T_Token Source #

sem_Token_Semicolon :: 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_TTrue :: T_Token Source #

sem_Token_TFalse :: T_Token Source #

sem_Token_Nil :: T_Token Source #

sem_Token_VarArg :: T_Token Source #

sem_Token_Plus :: T_Token Source #

sem_Token_Minus :: T_Token Source #

sem_Token_Multiply :: T_Token Source #

sem_Token_Divide :: T_Token Source #

sem_Token_Modulus :: T_Token Source #

sem_Token_Power :: T_Token Source #

sem_Token_TEq :: T_Token Source #

sem_Token_TNEq :: T_Token Source #

sem_Token_TCNEq :: T_Token Source #

sem_Token_TLEQ :: T_Token Source #

sem_Token_TGEQ :: T_Token Source #

sem_Token_TLT :: T_Token Source #

sem_Token_TGT :: T_Token Source #

sem_Token_Equals :: T_Token Source #

sem_Token_Concatenate :: T_Token Source #

sem_Token_Colon :: T_Token Source #

sem_Token_Dot :: T_Token Source #

sem_Token_Comma :: T_Token Source #

sem_Token_Hash :: T_Token Source #

sem_Token_Not :: T_Token Source #

sem_Token_CNot :: T_Token Source #

sem_Token_And :: T_Token Source #

sem_Token_CAnd :: T_Token Source #

sem_Token_Or :: T_Token Source #

sem_Token_COr :: T_Token Source #

sem_Token_Function :: T_Token Source #

sem_Token_Local :: T_Token Source #

sem_Token_If :: T_Token Source #

sem_Token_Then :: T_Token Source #

sem_Token_Elseif :: T_Token Source #

sem_Token_Else :: T_Token Source #

sem_Token_For :: T_Token Source #

sem_Token_In :: T_Token Source #

sem_Token_Do :: T_Token Source #

sem_Token_While :: T_Token Source #

sem_Token_Until :: T_Token Source #

sem_Token_Repeat :: T_Token Source #

sem_Token_Continue :: T_Token Source #

sem_Token_Break :: T_Token Source #

sem_Token_Return :: T_Token Source #

sem_Token_End :: T_Token Source #

sem_Token_LRound :: T_Token Source #

sem_Token_RRound :: T_Token Source #

sem_Token_LCurly :: T_Token Source #

sem_Token_RCurly :: T_Token Source #

sem_Token_LSquare :: T_Token Source #

sem_Token_RSquare :: T_Token Source #

sem_Token_Label :: String -> String -> String -> T_Token Source #

sem_Token_Identifier :: String -> T_Token Source #

sem_UnOp :: UnOp -> T_UnOp Source #

type T_UnOp = (UnOp, T_UnOp_1) 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 #

data Inh_UnOp Source #

Constructors

Inh_UnOp
Fields config_Inh_UnOp :: LintSettings funcName_Inh_UnOp :: String globalDefinitions_Inh_UnOp :: Map String [Region] isInModule_Inh_UnOp :: Bool isMeta_Inh_UnOp :: Bool loopLevel_Inh_UnOp :: Int mtokenPos_Inh_UnOp :: Region scopeLevel_Inh_UnOp :: Int scopes_Inh_UnOp :: [Map String (Bool, Region)] variableStyle_Inh_UnOp :: DeterminedVariableStyle

data Syn_UnOp Source #

Constructors

Syn_UnOp
Fields copy_Syn_UnOp :: UnOp globalDefinitions_Syn_UnOp :: Map String [Region] identifier_Syn_UnOp :: String isInModule_Syn_UnOp :: Bool isNegation_Syn_UnOp :: Bool mtokenPos_Syn_UnOp :: Region scopes_Syn_UnOp :: [Map String (Bool, Region)] variableStyle_Syn_UnOp :: DeterminedVariableStyle warnings_Syn_UnOp :: [String -> LintMessage]

wrap_UnOp :: T_UnOp -> Inh_UnOp -> Syn_UnOp Source #

sem_UnOp_UnMinus :: T_UnOp Source #

sem_UnOp_ANot :: T_UnOp Source #

sem_UnOp_AHash :: T_UnOp 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 #

Constructors

Inh_VarsList

data Syn_VarsList Source #

Constructors

Syn_VarsList
Fields copy_Syn_VarsList :: VarsList globalDefinitions_Syn_VarsList :: Map String [Region] identifier_Syn_VarsList :: String isInModule_Syn_VarsList :: Bool mtokenPos_Syn_VarsList :: Region scopes_Syn_VarsList :: [Map String (Bool, Region)] variableStyle_Syn_VarsList :: DeterminedVariableStyle warnings_Syn_VarsList :: [String -> LintMessage]

wrap_VarsList :: T_VarsList -> Inh_VarsList -> Syn_VarsList Source #

sem_VarsList_Cons :: T_Declaration -> T_VarsList -> T_VarsList Source #

sem_VarsList_Nil :: T_VarsList Source #