language-java-0.1.0: Manipulating Java source: abstract syntax, lexer, parser, and pretty-printer

Language.Java.Parser

Documentation

type P = GenParser (L Token) ()Source

(<*>) :: Monad m => m (a -> b) -> m a -> m bSource

parseCompilationUnit :: String -> Either ParseError CompilationUnit Source

compilationUnit :: P CompilationUnit Source

packageDecl :: P PackageDecl Source

importDecl :: P ImportDecl Source

typeDecl :: P (Maybe TypeDecl)Source

classOrInterfaceDecl :: P TypeDecl Source

classDecl :: P (Mod ClassDecl)Source

normalClassDecl :: P (Mod ClassDecl)Source

extends :: P [RefType]Source

implements :: P [RefType]Source

enumClassDecl :: P (Mod ClassDecl)Source

classBody :: P ClassBody Source

enumBody :: P EnumBody Source

enumConst :: P EnumConstant Source

enumBodyDecls :: P [Decl]Source

classBodyDecls :: P [Decl]Source

interfaceDecl :: P (Mod InterfaceDecl)Source

interfaceBody :: P InterfaceBody Source

classBodyDecl :: P Decl Source

memberDecl :: P (Mod MemberDecl)Source

fieldDecl :: P (Mod MemberDecl)Source

methodDecl :: P (Mod MemberDecl)Source

methodBody :: P MethodBody Source

constrDecl :: P (Mod MemberDecl)Source

constrBody :: P ConstructorBody Source

explConstrInv :: P ExplConstrInv Source

interfaceBodyDecl :: P (Maybe MemberDecl)Source

interfaceMemberDecl :: P (Mod MemberDecl)Source

absMethodDecl :: P (Mod MemberDecl)Source

throws :: P [RefType]Source

formalParams :: P [FormalParam]Source

formalParam :: P FormalParam Source

ellipsis :: P ()Source

modifier :: P Modifier Source

varDecls :: P [VarDecl]Source

varDecl :: P VarDecl Source

varDeclId :: P VarDeclId Source

arrBrackets :: P ()Source

localVarDecl :: P ([Modifier], Type, [VarDecl])Source

varInit :: P VarInit Source

arrayInit :: P ArrayInit Source

block :: P Block Source

blockStmt :: P BlockStmt Source

stmt :: P Stmt Source

stmtNSI :: P Stmt Source

stmtNoTrail :: P Stmt Source

forInit :: P ForInit Source

forUp :: P [Exp]Source

switchBlock :: P [SwitchBlock]Source

switchStmt :: P SwitchBlock Source

switchLabel :: P SwitchLabel Source

catch :: P Catch Source

stmtExp :: P Exp Source

preIncDec :: P Exp Source

postIncDec :: P Exp Source

assignment :: P Exp Source

lhs :: P Lhs Source

exp :: P Exp Source

assignExp :: P Exp Source

condExp :: P Exp Source

condExpSuffix :: P (Exp -> Exp)Source

infixExp :: P Exp Source

infixExpSuffix :: P (Exp -> Exp)Source

unaryExp :: P Exp Source

postfixExpNES :: P Exp Source

postfixExp :: P Exp Source

primary :: P Exp Source

primaryNPS :: P Exp Source

primaryNoNewArrayNPS :: P Exp Source

primarySuffix :: P (Exp -> Exp)Source

instanceCreationNPS :: P Exp Source

instanceCreationSuffix :: P (Exp -> Exp)Source

instanceCreation :: P Exp Source

fieldAccessNPS :: P FieldAccess Source

fieldAccessSuffix :: P (Exp -> FieldAccess)Source

fieldAccess :: P FieldAccess Source

methodInvocationNPS :: P MethodInvocation Source

methodInvocationSuffix :: P (Exp -> MethodInvocation)Source

methodInvocationExp :: P Exp Source

args :: P [Argument]Source

arrayAccessNPS :: P (Exp, Exp)Source

arrayAccessSuffix :: P (Exp -> (Exp, Exp))Source

arrayCreation :: P Exp Source

literal :: P Literal Source

prefixOp :: P (Exp -> Exp)Source

postfixOp :: P (Exp -> Exp)Source

preIncDecOp :: P (Exp -> Exp)Source

assignOp :: P AssignOp Source

infixOp :: P Op Source

ttype :: P Type Source

primType :: P PrimType Source

refType :: P RefType Source

nonArrayType :: P Type Source

classType :: P ClassType Source

classTypeSpec :: P (Ident, [TypeArgument])Source

resultType :: P (Maybe Type)Source

refTypeList :: P [RefType]Source

typeParams :: P [TypeParam]Source

typeParam :: P TypeParam Source

bounds :: P [RefType]Source

typeArgs :: P [TypeArgument]Source

typeArg :: P TypeArgument Source

wildcardBound :: P WildcardBound Source

refTypeArgs :: P [RefType]Source

name :: P Name Source

ident :: P Ident Source

empty :: P ()Source

opt :: P a -> P (Maybe a)Source

bopt :: P a -> P Bool Source

lopt :: P [a] -> P [a]Source

list :: P a -> P [a]Source

list1 :: P a -> P [a]Source

seplist :: P a -> P sep -> P [a]Source

seplist1 :: P a -> P sep -> P [a]Source

startSuff :: P a -> P (a -> a) -> P aSource

javaToken :: (Token -> Maybe a) -> P aSource

matchToken :: Token -> P ()Source

tok :: Token -> P ()Source

pos2sourcePos :: (Int, Int) -> SourcePos Source

type Mod a = [Modifier] -> aSource

braces :: P a -> P aSource

brackets :: P a -> P aSource

angles :: P a -> P aSource

parens :: P a -> P aSource

endSemi :: P a -> P aSource

colon :: P ()Source

semiColon :: P ()Source

period :: P ()Source

comma :: P ()Source