Hydra.Langs.Java.Utils

Documentation

type PackageMap = Map Namespace PackageName

data Aliases

Constructors

Aliases

Fields

• aliasesCurrentNamespace :: Namespace
• aliasesPackages :: PackageMap
• aliasesRecursiveVars :: Set Name

Instances

Show Aliases

Defined in Hydra.Langs.Java.Utils

Methods

showsPrec :: Int -> Aliases -> ShowS

show :: Aliases -> String

showList :: [Aliases] -> ShowS

addExpressions :: [MultiplicativeExpression] -> AdditiveExpression

addJavaTypeParameter :: ReferenceType -> Type -> Flow Graph Type

fieldExpression :: Identifier -> Identifier -> ExpressionName

fieldNameToJavaExpression :: Name -> Expression

fieldNameToJavaIdentifier :: Name -> Identifier

fieldNameToJavaVariableDeclarator :: Name -> VariableDeclarator

fieldNameToJavaVariableDeclaratorId :: Name -> VariableDeclaratorId

importAliasesForModule :: Module -> Aliases

interfaceMethodDeclaration :: [InterfaceMethodModifier] -> [TypeParameter] -> String -> [FormalParameter] -> Result -> Maybe [BlockStatement] -> InterfaceMemberDeclaration

isEscaped :: String -> Bool

javaAdditiveExpressionToJavaExpression :: AdditiveExpression -> Expression

javaAssignmentStatement :: LeftHandSide -> Expression -> Statement

javaBoolean :: Bool -> Literal

javaBooleanExpression :: Bool -> Expression

javaBooleanType :: Type

javaCastExpression :: ReferenceType -> UnaryExpression -> CastExpression

javaCastExpressionToJavaExpression :: CastExpression -> Expression

javaClassDeclaration :: Aliases -> [TypeParameter] -> Name -> [ClassModifier] -> Maybe Name -> [InterfaceType] -> [ClassBodyDeclarationWithComments] -> ClassDeclaration

javaClassType :: [ReferenceType] -> Maybe PackageName -> String -> ClassType

javaClassTypeToJavaType :: ClassType -> Type

javaConditionalAndExpressionToJavaExpression :: ConditionalAndExpression -> Expression

javaConstructorCall :: ClassOrInterfaceTypeToInstantiate -> [Expression] -> Maybe ClassBody -> Expression

javaConstructorName :: Identifier -> Maybe TypeArgumentsOrDiamond -> ClassOrInterfaceTypeToInstantiate

javaDeclName :: Name -> TypeIdentifier

javaEmptyStatement :: Statement

javaEqualityExpressionToJavaExpression :: EqualityExpression -> Expression

javaEqualityExpressionToJavaInclusiveOrExpression :: EqualityExpression -> InclusiveOrExpression

javaEquals :: EqualityExpression -> RelationalExpression -> EqualityExpression

javaEqualsNull :: EqualityExpression -> EqualityExpression

javaExpressionNameToJavaExpression :: ExpressionName -> Expression

javaExpressionToJavaPrimary :: Expression -> Primary

javaExpressionToJavaUnaryExpression :: Expression -> UnaryExpression

javaFieldAccessToJavaExpression :: FieldAccess -> Expression

javaIdentifier :: String -> Identifier

javaIdentifierToJavaExpressionName :: Identifier -> ExpressionName

javaIdentifierToJavaExpression :: Identifier -> Expression

javaIdentifierToJavaRelationalExpression :: Identifier -> RelationalExpression

javaIdentifierToJavaUnaryExpression :: Identifier -> UnaryExpression

javaInstanceOf :: RelationalExpression -> ReferenceType -> RelationalExpression

javaInt :: Integral a => a -> Literal

javaIntExpression :: Integer -> Expression

javaIntType :: Type

javaInterfaceDeclarationToJavaClassBodyDeclaration :: NormalInterfaceDeclaration -> ClassBodyDeclaration

javaLambda :: Name -> Expression -> Expression

javaLambdaFromBlock :: Name -> Block -> Expression

javaLiteralToJavaRelationalExpression :: Literal -> RelationalExpression

javaLiteralToJavaExpression :: Literal -> Expression

javaLiteralToJavaMultiplicativeExpression :: Literal -> MultiplicativeExpression

javaLiteralToJavaPrimary :: Literal -> Primary

javaMemberField :: [FieldModifier] -> Type -> VariableDeclarator -> ClassBodyDeclaration

javaMethodBody :: Maybe [BlockStatement] -> MethodBody

javaMethodDeclarationToJavaClassBodyDeclaration :: MethodDeclaration -> ClassBodyDeclaration

javaMethodHeader :: [TypeParameter] -> String -> [FormalParameter] -> Result -> MethodHeader

javaMethodInvocationToJavaExpression :: MethodInvocation -> Expression

javaMethodInvocationToJavaStatement :: MethodInvocation -> Statement

javaMethodInvocationToJavaPostfixExpression :: MethodInvocation -> PostfixExpression

javaMethodInvocationToJavaPrimary :: MethodInvocation -> Primary

javaMultiplicativeExpressionToJavaRelationalExpression :: MultiplicativeExpression -> RelationalExpression

javaPackageDeclaration :: Namespace -> PackageDeclaration

javaPostfixExpressionToJavaEqualityExpression :: PostfixExpression -> EqualityExpression

javaPostfixExpressionToJavaExpression :: PostfixExpression -> Expression

javaPostfixExpressionToJavaInclusiveOrExpression :: PostfixExpression -> InclusiveOrExpression

javaPostfixExpressionToJavaRelationalExpression :: PostfixExpression -> RelationalExpression

javaPostfixExpressionToJavaUnaryExpression :: PostfixExpression -> UnaryExpression

javaPrimaryToJavaExpression :: Primary -> Expression

javaPrimaryToJavaUnaryExpression :: Primary -> UnaryExpression

javaPrimitiveTypeToJavaType :: PrimitiveType -> Type

javaRefType :: [ReferenceType] -> Maybe PackageName -> String -> Type

javaRelationalExpressionToJavaEqualityExpression :: RelationalExpression -> EqualityExpression

javaRelationalExpressionToJavaExpression :: RelationalExpression -> Expression

javaRelationalExpressionToJavaUnaryExpression :: RelationalExpression -> UnaryExpression

javaReturnStatement :: Maybe Expression -> Statement

javaStatementsToBlock :: [Statement] -> Block

javaString :: String -> Literal

javaStringMultiplicativeExpression :: String -> MultiplicativeExpression

javaThrowIllegalArgumentException :: [Expression] -> Statement

javaThrowIllegalStateException :: [Expression] -> Statement

javaThrowStatement :: Expression -> Statement

javaThis :: Expression

javaTypeFromTypeName :: Aliases -> Name -> Type

javaTypeIdentifier :: String -> TypeIdentifier

javaTypeIdentifierToJavaTypeArgument :: TypeIdentifier -> TypeArgument

javaTypeName :: Identifier -> TypeName

javaTypeParameter :: String -> TypeParameter

javaTypeToJavaFormalParameter :: Type -> Name -> FormalParameter

javaTypeToJavaReferenceType :: Type -> Flow Graph ReferenceType

javaTypeToJavaResult :: Type -> Result

javaTypeToJavaTypeArgument :: Type -> TypeArgument

javaTypeVariable :: String -> ReferenceType

javaTypeVariableToType :: TypeVariable -> Type

javaUnaryExpressionToJavaExpression :: UnaryExpression -> Expression

javaUnaryExpressionToJavaRelationalExpression :: UnaryExpression -> RelationalExpression

javaVariableDeclarator :: Identifier -> Maybe VariableInitializer -> VariableDeclarator

javaVariableDeclaratorId :: Identifier -> VariableDeclaratorId

javaVariableName :: Name -> Identifier

makeConstructor :: Aliases -> Name -> Bool -> [FormalParameter] -> [BlockStatement] -> ClassBodyDeclaration

methodDeclaration :: [MethodModifier] -> [TypeParameter] -> [Annotation] -> String -> [FormalParameter] -> Result -> Maybe [BlockStatement] -> ClassBodyDeclaration

methodInvocation :: Maybe (Either ExpressionName Primary) -> Identifier -> [Expression] -> MethodInvocation

methodInvocationStatic :: Identifier -> Identifier -> [Expression] -> MethodInvocation

nameToJavaClassType :: Aliases -> Bool -> [TypeArgument] -> Name -> Maybe String -> ClassType

nameToQualifiedJavaName :: Aliases -> Bool -> Name -> Maybe String -> (TypeIdentifier, ClassTypeQualifier)

nameToJavaName :: Aliases -> Name -> Identifier

nameToJavaReferenceType :: Aliases -> Bool -> [TypeArgument] -> Name -> Maybe String -> ReferenceType

nameToJavaTypeIdentifier :: Aliases -> Bool -> Name -> TypeIdentifier

overrideAnnotation :: Annotation

referenceTypeToResult :: ReferenceType -> Result

sanitizeJavaName :: String -> String

toAcceptMethod :: Bool -> [TypeParameter] -> ClassBodyDeclaration

toAssignStmt :: Name -> Statement

toJavaArrayType :: Type -> Flow Graph Type

typeParameterToTypeArgument :: TypeParameter -> TypeArgument

typeParameterToReferenceType :: TypeParameter -> ReferenceType

unTypeParameter :: TypeParameter -> String

unescape :: String -> String

variableDeclarationStatement :: Aliases -> Type -> Identifier -> Expression -> BlockStatement

variableToJavaIdentifier :: Name -> Identifier

variantClassName :: Bool -> Name -> Name -> Name

visitorTypeVariable :: ReferenceType