Safe Haskell	Safe
Language	Haskell98

Language.Java.SyntaxClasses

Contents

Orphan instances

Synopsis

Documentation

class HasType a where Source #

Minimal complete definition

getType

Methods

getType :: a -> Type Source #

Instances

HasType PrimType Source #
Methods getType :: PrimType -> Type Source #
HasType RefType Source #
Methods getType :: RefType -> Type Source #
HasType Type Source #
Methods getType :: Type -> Type Source #
HasType (ExceptionType l) Source #
Methods getType :: ExceptionType l -> Type Source #
HasType (FormalParam l) Source #	Gets type of FormalParam
Methods getType :: FormalParam l -> Type Source #
HasType (InterfaceDecl l) Source #	Get type of InterfaceDecl
Methods getType :: InterfaceDecl l -> Type Source #
HasType (EnumConstant l) Source #	Get type of EnumConstant
Methods getType :: EnumConstant l -> Type Source #
HasType (Implements l) Source #
Methods getType :: Implements l -> Type Source #
HasType (Extends l) Source #
Methods getType :: Extends l -> Type Source #
HasType (EnumDecl l) Source #
Methods getType :: EnumDecl l -> Type Source #
HasType (ClassDecl l) Source #
Methods getType :: ClassDecl l -> Type Source #
HasType (ImportDecl l) Source #
Methods getType :: ImportDecl l -> Type Source #
HasType (ClassDeclNode l) Source #	Get type of ClassDecl
Methods getType :: ClassDeclNode l -> Type Source #
HasType (TypeDeclNode l) Source #	Get type of TypeDeclNode
Methods getType :: TypeDeclNode l -> Type Source #

class CollectTypes a where Source #

Minimal complete definition

collectTypes

Methods

collectTypes :: a -> [Type] Source #

Instances

HasType a => CollectTypes [a] Source #
Methods collectTypes :: [a] -> [Type] Source #
CollectTypes (MethodDecl l) Source #
Methods collectTypes :: MethodDecl l -> [Type] Source #
CollectTypes (FieldDecl l) Source #	Get type of MemberDecl if it is a MethodDecl (our solution to handeling the Maybe)
Methods collectTypes :: FieldDecl l -> [Type] Source #
CollectTypes (InterfaceDecl l) Source #
Methods collectTypes :: InterfaceDecl l -> [Type] Source #
CollectTypes (EnumDecl l) Source #
Methods collectTypes :: EnumDecl l -> [Type] Source #
CollectTypes (ClassDecl l) Source #
Methods collectTypes :: ClassDecl l -> [Type] Source #
CollectTypes (MemberDeclNode l) Source #	Get type of MemberDecl if it is a MethodDecl (our solution to handeling the Maybe)
Methods collectTypes :: MemberDeclNode l -> [Type] Source #
CollectTypes (ClassDeclNode l) Source #
Methods collectTypes :: ClassDeclNode l -> [Type] Source #
CollectTypes (TypeDeclNode l) Source #
Methods collectTypes :: TypeDeclNode l -> [Type] Source #

class HasBody a l where Source #

Provides functionality to access the body as a list of declarations of a class, enum and an interface.

Minimal complete definition

getBody

Methods

getBody :: a -> [DeclNode l] Source #

Instances

HasBody (InterfaceBody l) l Source #	Get the body of ClassDecl
Methods getBody :: InterfaceBody l -> [DeclNode l] Source #
HasBody (InterfaceDecl l) l Source #	Get the body of InterfaceDecl
Methods getBody :: InterfaceDecl l -> [DeclNode l] Source #
HasBody (EnumBody l) l Source #	Get the body of EnumBody
Methods getBody :: EnumBody l -> [DeclNode l] Source #
HasBody (ClassBody l) l Source #	Get the body of ClassBody
Methods getBody :: ClassBody l -> [DeclNode l] Source #
HasBody (EnumDecl l) l Source #
Methods getBody :: EnumDecl l -> [DeclNode l] Source #
HasBody (ClassDecl l) l Source #	Get the body of ClassDecl
Methods getBody :: ClassDecl l -> [DeclNode l] Source #
HasBody (ClassDeclNode l) l Source #	Get the body of ClassDecl
Methods getBody :: ClassDeclNode l -> [DeclNode l] Source #
HasBody (TypeDeclNode l) l Source #	Get the body of TypeDecl
Methods getBody :: TypeDeclNode l -> [DeclNode l] Source #

getTypeFromPackage :: Package -> Type Source #

class HasNode el no where Source #

Minimal complete definition

toNode

Methods

toNode :: el l -> no l Source #

Instances

HasNode ArrayInit VarInitNode Source #
Methods toNode :: ArrayInit l -> VarInitNode l Source #
HasNode TypeMethodCall MethodInvocationNode Source #
Methods toNode :: TypeMethodCall l -> MethodInvocationNode l Source #
HasNode ClassMethodCall MethodInvocationNode Source #
Methods toNode :: ClassMethodCall l -> MethodInvocationNode l Source #
HasNode SuperMethodCall MethodInvocationNode Source #
Methods toNode :: SuperMethodCall l -> MethodInvocationNode l Source #
HasNode PrimaryMethodCall MethodInvocationNode Source #
Methods toNode :: PrimaryMethodCall l -> MethodInvocationNode l Source #
HasNode MethodCall MethodInvocationNode Source #
Methods toNode :: MethodCall l -> MethodInvocationNode l Source #
HasNode LambdaInferredParams LambdaParamsNode Source #
Methods toNode :: LambdaInferredParams l -> LambdaParamsNode l Source #
HasNode LambdaFormalParams LambdaParamsNode Source #
Methods toNode :: LambdaFormalParams l -> LambdaParamsNode l Source #
HasNode LambdaSingleParam LambdaParamsNode Source #
Methods toNode :: LambdaSingleParam l -> LambdaParamsNode l Source #
HasNode ClassFieldAccess FieldAccessNode Source #
Methods toNode :: ClassFieldAccess l -> FieldAccessNode l Source #
HasNode SuperFieldAccess FieldAccessNode Source #
Methods toNode :: SuperFieldAccess l -> FieldAccessNode l Source #
HasNode PrimaryFieldAccess FieldAccessNode Source #
Methods toNode :: PrimaryFieldAccess l -> FieldAccessNode l Source #
HasNode ArrayIndex LhsNode Source #
Methods toNode :: ArrayIndex l -> LhsNode l Source #
HasNode ArrayIndex ExpNode Source #
Methods toNode :: ArrayIndex l -> ExpNode l Source #
HasNode NameLhs LhsNode Source #
Methods toNode :: NameLhs l -> LhsNode l Source #
HasNode MethodRef ExpNode Source #
Methods toNode :: MethodRef l -> ExpNode l Source #
HasNode Lambda ExpNode Source #
Methods toNode :: Lambda l -> ExpNode l Source #
HasNode Assign ExpNode Source #
Methods toNode :: Assign l -> ExpNode l Source #
HasNode Cond ExpNode Source #
Methods toNode :: Cond l -> ExpNode l Source #
HasNode InstanceOf ExpNode Source #
Methods toNode :: InstanceOf l -> ExpNode l Source #
HasNode BinOp ExpNode Source #
Methods toNode :: BinOp l -> ExpNode l Source #
HasNode Cast ExpNode Source #
Methods toNode :: Cast l -> ExpNode l Source #
HasNode ExpName ExpNode Source #
Methods toNode :: ExpName l -> ExpNode l Source #
HasNode ArrayCreateInit ExpNode Source #
Methods toNode :: ArrayCreateInit l -> ExpNode l Source #
HasNode ArrayCreate ExpNode Source #
Methods toNode :: ArrayCreate l -> ExpNode l Source #
HasNode QualInstanceCreation ExpNode Source #
Methods toNode :: QualInstanceCreation l -> ExpNode l Source #
HasNode InstanceCreation ExpNode Source #
Methods toNode :: InstanceCreation l -> ExpNode l Source #
HasNode QualifiedThis ExpNode Source #
Methods toNode :: QualifiedThis l -> ExpNode l Source #
HasNode This ExpNode Source #
Methods toNode :: This l -> ExpNode l Source #
HasNode ClassLit ExpNode Source #
Methods toNode :: ClassLit l -> ExpNode l Source #
HasNode Lit ExpNode Source #
Methods toNode :: Lit l -> ExpNode l Source #
HasNode ForInitExps ForInitNode Source #
Methods toNode :: ForInitExps l -> ForInitNode l Source #
HasNode ForLocalVars ForInitNode Source #
Methods toNode :: ForLocalVars l -> ForInitNode l Source #
HasNode TryResourceFinalVar TryResourceNode Source #
Methods toNode :: TryResourceFinalVar l -> TryResourceNode l Source #
HasNode TryResourceVar TryResourceNode Source #
Methods toNode :: TryResourceVar l -> TryResourceNode l Source #
HasNode Labeled StmtNode Source #
Methods toNode :: Labeled l -> StmtNode l Source #
HasNode Try StmtNode Source #
Methods toNode :: Try l -> StmtNode l Source #
HasNode Throw StmtNode Source #
Methods toNode :: Throw l -> StmtNode l Source #
HasNode Synchronized StmtNode Source #
Methods toNode :: Synchronized l -> StmtNode l Source #
HasNode Return StmtNode Source #
Methods toNode :: Return l -> StmtNode l Source #
HasNode Continue StmtNode Source #
Methods toNode :: Continue l -> StmtNode l Source #
HasNode Break StmtNode Source #
Methods toNode :: Break l -> StmtNode l Source #
HasNode Do StmtNode Source #
Methods toNode :: Do l -> StmtNode l Source #
HasNode Switch StmtNode Source #
Methods toNode :: Switch l -> StmtNode l Source #
HasNode Assert StmtNode Source #
Methods toNode :: Assert l -> StmtNode l Source #
HasNode Empty StmtNode Source #
Methods toNode :: Empty l -> StmtNode l Source #
HasNode EnhancedFor StmtNode Source #
Methods toNode :: EnhancedFor l -> StmtNode l Source #
HasNode BasicFor StmtNode Source #
Methods toNode :: BasicFor l -> StmtNode l Source #
HasNode While StmtNode Source #
Methods toNode :: While l -> StmtNode l Source #
HasNode IfThenElse StmtNode Source #
Methods toNode :: IfThenElse l -> StmtNode l Source #
HasNode LocalVars BlockStmtNode Source #
Methods toNode :: LocalVars l -> BlockStmtNode l Source #
HasNode Block LambdaExpressionNode Source #
Methods toNode :: Block l -> LambdaExpressionNode l Source #
HasNode Block StmtNode Source #
Methods toNode :: Block l -> StmtNode l Source #
HasNode Annotation Modifier Source #
Methods toNode :: Annotation l -> Modifier l Source #
HasNode PrimarySuperInvoke ExplConstrInvNode Source #
Methods toNode :: PrimarySuperInvoke l -> ExplConstrInvNode l Source #
HasNode SuperInvoke ExplConstrInvNode Source #
Methods toNode :: SuperInvoke l -> ExplConstrInvNode l Source #
HasNode ThisInvoke ExplConstrInvNode Source #
Methods toNode :: ThisInvoke l -> ExplConstrInvNode l Source #
HasNode VarId VarDeclIdNode Source #
Methods toNode :: VarId l -> VarDeclIdNode l Source #
HasNode ConstructorDecl MemberDeclNode Source #
Methods toNode :: ConstructorDecl l -> MemberDeclNode l Source #
HasNode MethodDecl MemberDeclNode Source #
Methods toNode :: MethodDecl l -> MemberDeclNode l Source #
HasNode FieldDecl MemberDeclNode Source #
Methods toNode :: FieldDecl l -> MemberDeclNode l Source #
HasNode InitDecl DeclNode Source #
Methods toNode :: InitDecl l -> DeclNode l Source #
HasNode InterfaceDecl MemberDeclNode Source #
Methods toNode :: InterfaceDecl l -> MemberDeclNode l Source #
HasNode InterfaceDecl TypeDeclNode Source #
Methods toNode :: InterfaceDecl l -> TypeDeclNode l Source #
HasNode EnumDecl ClassDeclNode Source #
Methods toNode :: EnumDecl l -> ClassDeclNode l Source #
HasNode ClassDecl ClassDeclNode Source #
Methods toNode :: ClassDecl l -> ClassDeclNode l Source #
HasNode ModuleExports ModuleSpecNode Source #
Methods toNode :: ModuleExports l -> ModuleSpecNode l Source #
HasNode ModuleRequires ModuleSpecNode Source #
Methods toNode :: ModuleRequires l -> ModuleSpecNode l Source #
HasNode ModuleDeclaration CompilationUnitNode Source #
Methods toNode :: ModuleDeclaration l -> CompilationUnitNode l Source #
HasNode CompilationUnit CompilationUnitNode Source #
Methods toNode :: CompilationUnit l -> CompilationUnitNode l Source #
HasNode MethodInvocationNode ExpNode Source #
Methods toNode :: MethodInvocationNode l -> ExpNode l Source #
HasNode FieldAccessNode LhsNode Source #
Methods toNode :: FieldAccessNode l -> LhsNode l Source #
HasNode FieldAccessNode ExpNode Source #
Methods toNode :: FieldAccessNode l -> ExpNode l Source #
HasNode ExpNode LambdaExpressionNode Source #
Methods toNode :: ExpNode l -> LambdaExpressionNode l Source #
HasNode ExpNode SwitchLabelNode Source #
Methods toNode :: ExpNode l -> SwitchLabelNode l Source #
HasNode ExpNode StmtNode Source #
Methods toNode :: ExpNode l -> StmtNode l Source #
HasNode ExpNode VarInitNode Source #
Methods toNode :: ExpNode l -> VarInitNode l Source #
HasNode StmtNode BlockStmtNode Source #
Methods toNode :: StmtNode l -> BlockStmtNode l Source #
HasNode VarDeclIdNode VarDeclIdNode Source #
Methods toNode :: VarDeclIdNode l -> VarDeclIdNode l Source #
HasNode MemberDeclNode DeclNode Source #
Methods toNode :: MemberDeclNode l -> DeclNode l Source #
HasNode ClassDeclNode BlockStmtNode Source #
Methods toNode :: ClassDeclNode l -> BlockStmtNode l Source #
HasNode ClassDeclNode MemberDeclNode Source #
Methods toNode :: ClassDeclNode l -> MemberDeclNode l Source #
HasNode ClassDeclNode TypeDeclNode Source #
Methods toNode :: ClassDeclNode l -> TypeDeclNode l Source #

Orphan instances

Eq l => Ord (MemberDeclNode l) Source #