Documentation

typeDecls :: forall l. Lens' (CompilationUnit l) [TypeDeclNode l] Source #

packageLocation :: forall l. Lens' (CompilationUnit l) (Maybe (PackageDecl l)) Source #

infoCompUnit :: forall l. Lens' (CompilationUnit l) l Source #

imports :: forall l. Lens' (CompilationUnit l) [ImportDecl l] Source #

moduleSpecs :: forall l. Lens' (ModuleDeclaration l) [ModuleSpecNode l] Source #

modulePackage :: forall l. Lens' (ModuleDeclaration l) Package Source #

infoModuleDecl :: forall l. Lens' (ModuleDeclaration l) l Source #

packageDecl :: forall l. Lens' (PackageDecl l) Package Source #

infoPackDec :: forall l l. Lens (PackageDecl l) (PackageDecl l) l l Source #

requireModule :: forall l. Lens' (ModuleRequires l) Package Source #

infoModuleRequires :: forall l l. Lens (ModuleRequires l) (ModuleRequires l) l l Source #

infoModuleExports :: forall l l. Lens (ModuleExports l) (ModuleExports l) l l Source #

exportsPackage :: forall l. Lens' (ModuleExports l) Package Source #

staticImport :: forall l. Lens' (ImportDecl l) Bool Source #

infoImportDecl :: forall l l. Lens (ImportDecl l) (ImportDecl l) l l Source #

importPackage :: forall l. Lens' (ImportDecl l) Package Source #

infoClassDecl :: forall l. Lens' (ClassDecl l) l Source #

extends :: forall l. Lens' (ClassDecl l) (Maybe (Extends l)) Source #

classTypeParams :: forall l. Lens' (ClassDecl l) [TypeParam] Source #

classImplements :: forall l. Lens' (ClassDecl l) [Implements l] Source #

classDeclName :: forall l. Lens' (ClassDecl l) Ident Source #

classDeclModifiers :: forall l. Lens' (ClassDecl l) [Modifier l] Source #

classBody :: forall l. Lens' (ClassDecl l) (ClassBody l) Source #

infoEnumDecl :: forall l. Lens' (EnumDecl l) l Source #

enumeDeclName :: forall l. Lens' (EnumDecl l) Ident Source #

enumImplements :: forall l. Lens' (EnumDecl l) [Implements l] Source #

enumDeclModifiers :: forall l. Lens' (EnumDecl l) [Modifier l] Source #

enumBody :: forall l. Lens' (EnumDecl l) (EnumBody l) Source #

infoExtends :: forall l l. Lens (Extends l) (Extends l) l l Source #

extendsClass :: forall l. Lens' (Extends l) RefType Source #

infoImplements :: forall l l. Lens (Implements l) (Implements l) l l Source #

implementsInterface :: forall l. Lens' (Implements l) RefType Source #

infoClassBody :: forall l. Lens' (ClassBody l) l Source #

classDecls :: forall l. Lens' (ClassBody l) [DeclNode l] Source #

infoEnumBody :: forall l. Lens' (EnumBody l) l Source #

enumDecls :: forall l. Lens' (EnumBody l) [DeclNode l] Source #

enumConstants :: forall l. Lens' (EnumBody l) [EnumConstant l] Source #

infoEnumConstant :: forall l. Lens' (EnumConstant l) l Source #

enumConstantName :: forall l. Lens' (EnumConstant l) Ident Source #

enumConstantBody :: forall l. Lens' (EnumConstant l) (Maybe (ClassBody l)) Source #

enumArguments :: forall l. Lens' (EnumConstant l) [Argument l] Source #

interfaceTypeParams :: forall l. Lens' (InterfaceDecl l) [TypeParam] Source #

interfaceKind :: forall l. Lens' (InterfaceDecl l) InterfaceKind Source #

interfaceExtends :: forall l. Lens' (InterfaceDecl l) [Extends l] Source #

interfaceDeclName :: forall l. Lens' (InterfaceDecl l) Ident Source #

interfaceDeclModifiers :: forall l. Lens' (InterfaceDecl l) [Modifier l] Source #

interfaceBody :: forall l. Lens' (InterfaceDecl l) (InterfaceBody l) Source #

infoInterfaceDecl :: forall l. Lens' (InterfaceDecl l) l Source #

members :: forall l. Lens' (InterfaceBody l) [MemberDeclNode l] Source #

infoInterfaceBody :: forall l. Lens' (InterfaceBody l) l Source #

staticDecl :: forall l. Lens' (InitDecl l) Bool Source #

statements :: forall l. Lens' (InitDecl l) (Block l) Source #

infoInitDecl :: forall l. Lens' (InitDecl l) l Source #

memberDeclModifiers :: forall l. Lens' (FieldDecl l) [Modifier l] Source #

infoFieldDecl :: forall l. Lens' (FieldDecl l) l Source #

fieldVarDecls :: forall l. Lens' (FieldDecl l) [VarDecl l] Source #

fieldType :: forall l. Lens' (FieldDecl l) Type Source #

returnType :: forall l. Lens' (MethodDecl l) (Maybe Type) Source #

params :: forall l. Lens' (MethodDecl l) [FormalParam l] Source #

methodTypeParams :: forall l. Lens' (MethodDecl l) [TypeParam] Source #

methodDeclName :: forall l. Lens' (MethodDecl l) Ident Source #

methodDeclModifiers :: forall l. Lens' (MethodDecl l) [Modifier l] Source #

methodBody :: forall l. Lens' (MethodDecl l) (MethodBody l) Source #

infoMethodDecl :: forall l. Lens' (MethodDecl l) l Source #

exceptions :: forall l. Lens' (MethodDecl l) [ExceptionType l] Source #

defaultInterfaceAnnotation :: forall l. Lens' (MethodDecl l) (Maybe (ExpNode l)) Source #

infoConstructorDecl :: forall l. Lens' (ConstructorDecl l) l Source #

constructorTypeParams :: forall l. Lens' (ConstructorDecl l) [TypeParam] Source #

constructorMod :: forall l. Lens' (ConstructorDecl l) [Modifier l] Source #

constructorFormalParams :: forall l. Lens' (ConstructorDecl l) [FormalParam l] Source #

constructorExceptions :: forall l. Lens' (ConstructorDecl l) [ExceptionType l] Source #

constructorClassName :: forall l. Lens' (ConstructorDecl l) Ident Source #

constructorBody :: forall l. Lens' (ConstructorDecl l) (ConstructorBody l) Source #

varInit :: forall l. Lens' (VarDecl l) (Maybe (VarInitNode l)) Source #

varDeclName :: forall l. Lens' (VarDecl l) (VarDeclIdNode l) Source #

infoVarDecl :: forall l. Lens' (VarDecl l) l Source #

varIdName :: forall l. Lens' (VarId l) Ident Source #

infoVarId :: forall l l. Lens (VarId l) (VarId l) l l Source #

variableArity :: forall l. Lens' (FormalParam l) Bool Source #

paramType :: forall l. Lens' (FormalParam l) Type Source #

paramName :: forall l. Lens' (FormalParam l) (VarDeclIdNode l) Source #

infoFormalParam :: forall l. Lens' (FormalParam l) l Source #

formalParamModifiers :: forall l. Lens' (FormalParam l) [Modifier l] Source #

infoMethodBody :: forall l. Lens' (MethodBody l) l Source #

impl :: forall l. Lens' (MethodBody l) (Maybe (Block l)) Source #

infoConstructorBody :: forall l. Lens' (ConstructorBody l) l Source #

constructorInvoc :: forall l. Lens' (ConstructorBody l) (Maybe (ExplConstrInvNode l)) Source #

constrBody :: forall l. Lens' (ConstructorBody l) [BlockStmtNode l] Source #

thisTypeArguments :: forall l. Lens' (ThisInvoke l) [RefType] Source #

thisConstrArguments :: forall l. Lens' (ThisInvoke l) [Argument l] Source #

infoThisInvoke :: forall l. Lens' (ThisInvoke l) l Source #

superTypeArguments :: forall l. Lens' (SuperInvoke l) [RefType] Source #

superConstrArguments :: forall l. Lens' (SuperInvoke l) [Argument l] Source #

infoSuperInvoke :: forall l. Lens' (SuperInvoke l) l Source #

primaryTypeArguments :: forall l. Lens' (PrimarySuperInvoke l) [RefType] Source #

primaryConstrArguments :: forall l. Lens' (PrimarySuperInvoke l) [Argument l] Source #

primary :: forall l. Lens' (PrimarySuperInvoke l) (ExpNode l) Source #

infoPrimarySuperInvoke :: forall l. Lens' (PrimarySuperInvoke l) l Source #

annValue :: forall l. Traversal' (Annotation l) (ElementValue l) Source #

annName :: forall l. Lens' (Annotation l) Name Source #

annKV :: forall l. Traversal' (Annotation l) [(Ident, ElementValue l)] Source #

infoEVVal :: forall l. Traversal' (ElementValue l) l Source #

infoEVAnn :: forall l. Traversal' (ElementValue l) l Source #

elementVarInit :: forall l. Traversal' (ElementValue l) (VarInitNode l) Source #

annotation :: forall l. Traversal' (ElementValue l) (Annotation l) Source #

infoBlock :: forall l. Lens' (Block l) l Source #

blockStatements :: forall l. Lens' (Block l) [BlockStmtNode l] Source #

localVarDecls :: forall l. Lens' (LocalVars l) [VarDecl l] Source #

locaVarModifiers :: forall l. Lens' (LocalVars l) [Modifier l] Source #

infoLocalVars :: forall l. Lens' (LocalVars l) l Source #

blockVarType :: forall l. Lens' (LocalVars l) Type Source #

thenExp :: forall l. Lens' (IfThenElse l) (StmtNode l) Source #

infoIfThenElse :: forall l. Lens' (IfThenElse l) l Source #

ifExp :: forall l. Lens' (IfThenElse l) (ExpNode l) Source #

elseExp :: forall l. Lens' (IfThenElse l) (Maybe (StmtNode l)) Source #

whileVondition :: forall l. Lens' (While l) (ExpNode l) Source #

whileBody :: forall l. Lens' (While l) (StmtNode l) Source #

infoWhile :: forall l. Lens' (While l) l Source #

infoBasicFor :: forall l. Lens' (BasicFor l) l Source #

forUpdate :: forall l. Lens' (BasicFor l) (Maybe [ExpNode l]) Source #

forInit :: forall l. Lens' (BasicFor l) (Maybe (ForInitNode l)) Source #

forCond :: forall l. Lens' (BasicFor l) (Maybe (ExpNode l)) Source #

basicForBody :: forall l. Lens' (BasicFor l) (StmtNode l) Source #

loopVarType :: forall l. Lens' (EnhancedFor l) Type Source #

loopVarName :: forall l. Lens' (EnhancedFor l) Ident Source #

loopVarModifiers :: forall l. Lens' (EnhancedFor l) [Modifier l] Source #

iterable :: forall l. Lens' (EnhancedFor l) (ExpNode l) Source #

infoEnhancedFor :: forall l. Lens' (EnhancedFor l) l Source #

enhancedForBody :: forall l. Lens' (EnhancedFor l) (StmtNode l) Source #

infoEmpty :: forall l l. Iso (Empty l) (Empty l) l l Source #

valueExp :: forall l. Lens' (Assert l) (Maybe (ExpNode l)) Source #

infoAssert :: forall l. Lens' (Assert l) l Source #

booleanExp :: forall l. Lens' (Assert l) (ExpNode l) Source #

switchValue :: forall l. Lens' (Switch l) (ExpNode l) Source #

switchBlocks :: forall l. Lens' (Switch l) [SwitchBlock l] Source #

infoSwitch :: forall l. Lens' (Switch l) l Source #

infoDo :: forall l. Lens' (Do l) l Source #

doCondition :: forall l. Lens' (Do l) (ExpNode l) Source #

doBody :: forall l. Lens' (Do l) (StmtNode l) Source #

infoBreak :: forall l l. Lens (Break l) (Break l) l l Source #

breakLabel :: forall l. Lens' (Break l) (Maybe Ident) Source #

infoContinue :: forall l l. Lens (Continue l) (Continue l) l l Source #

continueLabel :: forall l. Lens' (Continue l) (Maybe Ident) Source #

returnExp :: forall l. Lens' (Return l) (Maybe (ExpNode l)) Source #

infoReturn :: forall l. Lens' (Return l) l Source #

synchronizeOn :: forall l. Lens' (Synchronized l) (ExpNode l) Source #

synchronizeBloc :: forall l. Lens' (Synchronized l) (Block l) Source #

infoSynchronized :: forall l. Lens' (Synchronized l) l Source #

throwExp :: forall l. Lens' (Throw l) (ExpNode l) Source #

infoThrow :: forall l. Lens' (Throw l) l Source #

tryResource :: forall l. Lens' (Try l) [TryResourceNode l] Source #

tryBlock :: forall l. Lens' (Try l) (Block l) Source #

infoTry :: forall l. Lens' (Try l) l Source #

finally :: forall l. Lens' (Try l) (Maybe (Block l)) Source #

catches :: forall l. Lens' (Try l) [Catch l] Source #

labeledStmt :: forall l. Lens' (Labeled l) (StmtNode l) Source #

label :: forall l. Lens' (Labeled l) Ident Source #

infoLabeled :: forall l. Lens' (Labeled l) l Source #

infoCatch :: forall l. Lens' (Catch l) l Source #

catchParam :: forall l. Lens' (Catch l) (FormalParam l) Source #

catchBlock :: forall l. Lens' (Catch l) (Block l) Source #

resourceVarType :: forall l. Lens' (TryResourceVar l) RefType Source #

resourceVarDecl :: forall l. Lens' (TryResourceVar l) [VarDecl l] Source #

resourceModifiers :: forall l. Lens' (TryResourceVar l) [Modifier l] Source #

infoTryResourceVar :: forall l. Lens' (TryResourceVar l) l Source #

resourceFinalVarName :: forall l. Lens' (TryResourceFinalVar l) Ident Source #

infoTryResourceFinalVar :: forall l l. Lens (TryResourceFinalVar l) (TryResourceFinalVar l) l l Source #

switchStmts :: forall l. Lens' (SwitchBlock l) [BlockStmtNode l] Source #

switchLabel :: forall l. Lens' (SwitchBlock l) (SwitchLabelNode l) Source #

infoSwitchBlock :: forall l. Lens' (SwitchBlock l) l Source #

infoForLocalVars :: forall l. Lens' (ForLocalVars l) l Source #

forVarType :: forall l. Lens' (ForLocalVars l) Type Source #

forVarModifiers :: forall l. Lens' (ForLocalVars l) [Modifier l] Source #

forVarDecls :: forall l. Lens' (ForLocalVars l) [VarDecl l] Source #

initExpr :: forall l. Lens' (ForInitExps l) [ExpNode l] Source #

infoForInitExps :: forall l. Lens' (ForInitExps l) l Source #

infoExceptionType :: forall l l. Lens (ExceptionType l) (ExceptionType l) l l Source #

expectionType :: forall l. Lens' (ExceptionType l) RefType Source #

literal :: forall l. Lens' (Lit l) Literal Source #

infoLit :: forall l l. Lens (Lit l) (Lit l) l l Source #

infoClassLit :: forall l l. Lens (ClassLit l) (ClassLit l) l l Source #

classLit :: forall l. Lens' (ClassLit l) (Maybe Type) Source #

infoThis :: forall l l. Iso (This l) (This l) l l Source #

qualiType :: forall l. Lens' (QualifiedThis l) Type Source #

infoQualifiedThis :: forall l l. Lens (QualifiedThis l) (QualifiedThis l) l l Source #

instanceTypeDecl :: forall l. Lens' (InstanceCreation l) TypeDeclSpecifier Source #

instanceTypeArgs :: forall l. Lens' (InstanceCreation l) [TypeArgument] Source #

instanceArguments :: forall l. Lens' (InstanceCreation l) [Argument l] Source #

infoInstanceCreation :: forall l. Lens' (InstanceCreation l) l Source #

anonymousClass :: forall l. Lens' (InstanceCreation l) (Maybe (ClassBody l)) Source #

qualiInstancetypeArgs :: forall l. Lens' (QualInstanceCreation l) [TypeArgument] Source #

qualiInstanceArguments :: forall l. Lens' (QualInstanceCreation l) [Argument l] Source #

qualiInstanceAnonymousClass :: forall l. Lens' (QualInstanceCreation l) (Maybe (ClassBody l)) Source #

mysteryExp :: forall l. Lens' (QualInstanceCreation l) (ExpNode l) Source #

infoQualInstanceCreation :: forall l. Lens' (QualInstanceCreation l) l Source #

className :: forall l. Lens' (QualInstanceCreation l) Ident Source #

infoArrayCreate :: forall l. Lens' (ArrayCreate l) l Source #

dimensions :: forall l. Lens' (ArrayCreate l) Int Source #

arrayType :: forall l. Lens' (ArrayCreate l) Type Source #

arrayDimExprs :: forall l. Lens' (ArrayCreate l) [ExpNode l] Source #

infoArrayCreateInit :: forall l. Lens' (ArrayCreateInit l) l Source #

arrayInitType :: forall l. Lens' (ArrayCreateInit l) Type Source #

arrayInitDimensions :: forall l. Lens' (ArrayCreateInit l) Int Source #

arrayCreatInit :: forall l. Lens' (ArrayCreateInit l) (ArrayInit l) Source #

infoExpName :: forall l l. Lens (ExpName l) (ExpName l) l l Source #

expName :: forall l. Lens' (ExpName l) Name Source #

infoCast :: forall l. Lens' (Cast l) l Source #

castTarget :: forall l. Lens' (Cast l) Type Source #

castArg :: forall l. Lens' (Cast l) (ExpNode l) Source #

infoBinOp :: forall l. Lens' (BinOp l) l Source #

binOpRight :: forall l. Lens' (BinOp l) (ExpNode l) Source #

binOp :: forall l. Lens' (BinOp l) Op Source #

binArgLeft :: forall l. Lens' (BinOp l) (ExpNode l) Source #

instanceOfTarget :: forall l. Lens' (InstanceOf l) RefType Source #

instanceOfArg :: forall l. Lens' (InstanceOf l) (ExpNode l) Source #

infoInstanceOf :: forall l. Lens' (InstanceOf l) l Source #

infoCond :: forall l. Lens' (Cond l) l Source #

conditionTrueExp :: forall l. Lens' (Cond l) (ExpNode l) Source #

conditionFalseExp :: forall l. Lens' (Cond l) (ExpNode l) Source #

condition :: forall l. Lens' (Cond l) (ExpNode l) Source #

infoAssign :: forall l. Lens' (Assign l) l Source #

assignTarget :: forall l. Lens' (Assign l) (LhsNode l) Source #

assignSource :: forall l. Lens' (Assign l) (ExpNode l) Source #

assignOp :: forall l. Lens' (Assign l) AssignOp Source #

lambdaParams :: forall l. Lens' (Lambda l) (LambdaParamsNode l) Source #

lambdaExpression :: forall l. Lens' (Lambda l) (LambdaExpressionNode l) Source #

infoLambda :: forall l. Lens' (Lambda l) l Source #

methodName :: forall l. Lens' (MethodRef l) Ident Source #

methodClass :: forall l. Lens' (MethodRef l) Name Source #

infoMethodRef :: forall l l. Lens (MethodRef l) (MethodRef l) l l Source #

varLhsName :: forall l. Lens' (NameLhs l) Name Source #

infoNameLhs :: forall l l. Lens (NameLhs l) (NameLhs l) l l Source #

infoArrayIndex :: forall l. Lens' (ArrayIndex l) l Source #

arrayName :: forall l. Lens' (ArrayIndex l) (ExpNode l) Source #

arrayIndices :: forall l. Lens' (ArrayIndex l) [ExpNode l] Source #

targetObject :: forall l. Lens' (PrimaryFieldAccess l) (ExpNode l) Source #

targetField :: forall l. Lens' (PrimaryFieldAccess l) Ident Source #

infoPrimaryFieldAccess :: forall l. Lens' (PrimaryFieldAccess l) l Source #

superField :: forall l. Lens' (SuperFieldAccess l) Ident Source #

infoSuperFieldAccess :: forall l l. Lens (SuperFieldAccess l) (SuperFieldAccess l) l l Source #

targetClass :: forall l. Lens' (ClassFieldAccess l) Name Source #

staticField :: forall l. Lens' (ClassFieldAccess l) Ident Source #

infoClassFieldAccess :: forall l l. Lens (ClassFieldAccess l) (ClassFieldAccess l) l l Source #

lambdaParamName :: forall l. Lens' (LambdaSingleParam l) Ident Source #

infoLambdaSingleParam :: forall l l. Lens (LambdaSingleParam l) (LambdaSingleParam l) l l Source #

lambdaFormalParams :: forall l. Lens' (LambdaFormalParams l) [FormalParam l] Source #

infoLambdaFormalParams :: forall l. Lens' (LambdaFormalParams l) l Source #

lambdaParamNames :: forall l. Lens' (LambdaInferredParams l) [Ident] Source #

infoLambdaInferredParams :: forall l l. Lens (LambdaInferredParams l) (LambdaInferredParams l) l l Source #

methodCallName :: forall l. Lens' (MethodCall l) Name Source #

methodCallArgs :: forall l. Lens' (MethodCall l) [Argument l] Source #

infoMethodCall :: forall l. Lens' (MethodCall l) l Source #

primaryMethodName :: forall l. Lens' (PrimaryMethodCall l) Ident Source #

primaryMethodCallArgs :: forall l. Lens' (PrimaryMethodCall l) [Argument l] Source #

mysteryRefTypes :: forall l. Lens' (PrimaryMethodCall l) [RefType] Source #

methodCallTargetObj :: forall l. Lens' (PrimaryMethodCall l) (ExpNode l) Source #

infoPrimaryMethodCall :: forall l. Lens' (PrimaryMethodCall l) l Source #

superMethodTypeArgs :: forall l. Lens' (SuperMethodCall l) [RefType] Source #

superMethodName :: forall l. Lens' (SuperMethodCall l) Ident Source #

superMethodArgs :: forall l. Lens' (SuperMethodCall l) [Argument l] Source #

infoSuperMethodCall :: forall l. Lens' (SuperMethodCall l) l Source #

methodClassTarget :: forall l. Lens' (ClassMethodCall l) Name Source #

infoClassMethodCall :: forall l. Lens' (ClassMethodCall l) l Source #

classMethodTypeArgs :: forall l. Lens' (ClassMethodCall l) [RefType] Source #

classMethodName :: forall l. Lens' (ClassMethodCall l) Ident Source #

classMethodArgs :: forall l. Lens' (ClassMethodCall l) [Argument l] Source #

typeMethodTypeArgs :: forall l. Lens' (TypeMethodCall l) [RefType] Source #

typeMethodName :: forall l. Lens' (TypeMethodCall l) Ident Source #

typeMethodClassTarget :: forall l. Lens' (TypeMethodCall l) Name Source #

typeMethodArgs :: forall l. Lens' (TypeMethodCall l) [Argument l] Source #

infoTypeMethodCall :: forall l. Lens' (TypeMethodCall l) l Source #

infoArrayInit :: forall l. Lens' (ArrayInit l) l Source #

arrayInits :: forall l. Lens' (ArrayInit l) [VarInitNode l] Source #