Safe Haskell	None
Language	GHC2024

Drasil.GOOL.LanguageRenderer.JavaRenderer

Contents

Java Code Configuration -- defines syntax of all Java code

Description

The logic to render Java code is contained in this module

Synopsis

newtype JavaCode a = JC {
- unJC :: a
}
jName :: String
jVersion :: String

Java Code Configuration -- defines syntax of all Java code

newtype JavaCode a Source #

Constructors

JC
Fields unJC :: a

Instances

Instances details

HasException JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods toConcreteExc :: ExceptionType -> JavaCode Exception Source #
BinaryOpSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods equalOp :: VSBinOp JavaCode Source # notEqualOp :: VSBinOp JavaCode Source # greaterOp :: VSBinOp JavaCode Source # greaterEqualOp :: VSBinOp JavaCode Source # lessOp :: VSBinOp JavaCode Source # lessEqualOp :: VSBinOp JavaCode Source # plusOp :: VSBinOp JavaCode Source # minusOp :: VSBinOp JavaCode Source # multOp :: VSBinOp JavaCode Source # divideOp :: VSBinOp JavaCode Source # powerOp :: VSBinOp JavaCode Source # moduloOp :: VSBinOp JavaCode Source # andOp :: VSBinOp JavaCode Source # orOp :: VSBinOp JavaCode Source #
BlockCommentElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods blockComment' :: JavaCode Doc -> Doc Source #
BlockCommentSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods blockComment :: [String] -> JavaCode Doc Source # docComment :: State a [String] -> State a (JavaCode Doc) Source #
ImportSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods langImport :: Label -> JavaCode Doc Source # modImport :: Label -> JavaCode Doc Source #
OpElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods uOp :: JavaCode OpData -> Doc Source # bOp :: JavaCode OpData -> Doc Source # uOpPrec :: JavaCode OpData -> Int Source # bOpPrec :: JavaCode OpData -> Int Source #
UnaryOpSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods notOp :: VSUnOp JavaCode Source # negateOp :: VSUnOp JavaCode Source # sqrtOp :: VSUnOp JavaCode Source # absOp :: VSUnOp JavaCode Source # logOp :: VSUnOp JavaCode Source # lnOp :: VSUnOp JavaCode Source # expOp :: VSUnOp JavaCode Source # sinOp :: VSUnOp JavaCode Source # cosOp :: VSUnOp JavaCode Source # tanOp :: VSUnOp JavaCode Source # asinOp :: VSUnOp JavaCode Source # acosOp :: VSUnOp JavaCode Source # atanOp :: VSUnOp JavaCode Source # floorOp :: VSUnOp JavaCode Source # ceilOp :: VSUnOp JavaCode Source #
Applicative JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods pure :: a -> JavaCode a # (<>) :: JavaCode (a -> b) -> JavaCode a -> JavaCode b # liftA2 :: (a -> b -> c) -> JavaCode a -> JavaCode b -> JavaCode c # (>) :: JavaCode a -> JavaCode b -> JavaCode b # (<*) :: JavaCode a -> JavaCode b -> JavaCode a #
Functor JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods fmap :: (a -> b) -> JavaCode a -> JavaCode b # (<$) :: a -> JavaCode b -> JavaCode a #
Monad JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods (>>=) :: JavaCode a -> (a -> JavaCode b) -> JavaCode b # (>>) :: JavaCode a -> JavaCode b -> JavaCode b # return :: a -> JavaCode a #
UnRepr JavaCode contents Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods unRepr :: JavaCode contents -> contents Source #
FunctionElim JavaCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods functionType :: JavaCode FuncData -> JavaCode TypeData Source # function :: JavaCode FuncData -> Doc Source #
RenderFunction JavaCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods funcFromData :: Doc -> VS (JavaCode TypeData) -> VS (JavaCode FuncData) Source #
RenderMethod JavaCode MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods commentedFunc :: MS (JavaCode Doc) -> MS (JavaCode MethodData) -> MS (JavaCode MethodData) Source # mthdFromData :: VisibilityTag -> Doc -> MS (JavaCode MethodData) Source #
ScopeElim JavaCode ScopeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods scopeData :: JavaCode ScopeData -> ScopeData Source #
AttachmentSym JavaCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods classLevel :: JavaCode Doc Source # instanceLevel :: JavaCode Doc Source #
OOFunctionSym JavaCode Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods func :: Label -> VS (JavaCode TypeData) -> [VS (JavaCode Value)] -> VS (JavaCode FuncData) Source # objAccess :: VS (JavaCode Value) -> VS (JavaCode FuncData) -> VS (JavaCode Value) Source #
OOTypeSym JavaCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods obj :: ClassName -> VS (JavaCode TypeData) Source #
ObserverPattern JavaCode Statement TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods notifyObservers :: VS (JavaCode FuncData) -> VS (JavaCode TypeData) -> MS (JavaCode Statement) Source #
SelfSym JavaCode Variable Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods self :: VS (JavaCode Variable) Source #
ClassElim JavaCode Class Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods class' :: JavaCode Class -> Doc Source #
ModuleElim JavaCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods module' :: JavaCode ModData -> Doc Source #
OOMethodTypeSym JavaCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods construct :: Label -> MS (JavaCode TypeData) Source #
PermElim JavaCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods perm :: JavaCode Doc -> Doc Source # binding :: JavaCode Doc -> AttachmentTag Source #
RenderFile JavaCode FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods top :: JavaCode ModData -> JavaCode Block Source # bottom :: JavaCode Block Source # commentedMod :: FS (JavaCode FileData) -> FS (JavaCode Doc) -> FS (JavaCode FileData) Source # fileFromData :: FilePath -> FS (JavaCode ModData) -> FS (JavaCode FileData) Source #
RenderMod JavaCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods modFromData :: String -> FS Doc -> FS (JavaCode ModData) Source # updateModuleDoc :: (Doc -> Doc) -> JavaCode ModData -> JavaCode ModData Source #
StateVarElim JavaCode StateVar Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods stateVar :: JavaCode StateVar -> Doc Source #
Argument JavaCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods pointerArg :: VS (JavaCode Value) -> VS (JavaCode Value) Source #
BooleanExpression JavaCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods (?!) :: VS (JavaCode Value) -> VS (JavaCode Value) Source # (?&&) :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # (?\|\|) :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source #
CommandLineArgs JavaCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods arg :: Integer -> VS (JavaCode Value) Source # argsList :: VS (JavaCode Value) Source # argExists :: Integer -> VS (JavaCode Value) Source #
CommentStatement JavaCode Statement Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods comment :: String -> MS (JavaCode Statement) Source #
Comparison JavaCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods (?<) :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # (?<=) :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # (?>) :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # (?>=) :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # (?==) :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # (?!=) :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source #
EmptyStatement JavaCode Statement Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods emptyStmt :: MS (JavaCode Statement) Source #
IndexTranslator JavaCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods intToIndex :: VS (JavaCode Value) -> VS (JavaCode Value) Source # indexToInt :: VS (JavaCode Value) -> VS (JavaCode Value) Source #
List JavaCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods listSize :: VS (JavaCode Value) -> VS (JavaCode Value) Source # listAccess :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # indexOf :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source #
MathConstant JavaCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods pi :: VS (JavaCode Value) Source #
MultiStatement JavaCode Statement Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods multi :: [MS (JavaCode Statement)] -> MS (JavaCode Statement) Source #
NumericExpression JavaCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods (#~) :: VS (JavaCode Value) -> VS (JavaCode Value) Source # (#/^) :: VS (JavaCode Value) -> VS (JavaCode Value) Source # (#\|) :: VS (JavaCode Value) -> VS (JavaCode Value) Source # (#+) :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # (#-) :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # (#*) :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # (#/) :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # (#%) :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # (#^) :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # log :: VS (JavaCode Value) -> VS (JavaCode Value) Source # ln :: VS (JavaCode Value) -> VS (JavaCode Value) Source # exp :: VS (JavaCode Value) -> VS (JavaCode Value) Source # sin :: VS (JavaCode Value) -> VS (JavaCode Value) Source # cos :: VS (JavaCode Value) -> VS (JavaCode Value) Source # tan :: VS (JavaCode Value) -> VS (JavaCode Value) Source # csc :: VS (JavaCode Value) -> VS (JavaCode Value) Source # sec :: VS (JavaCode Value) -> VS (JavaCode Value) Source # cot :: VS (JavaCode Value) -> VS (JavaCode Value) Source # arcsin :: VS (JavaCode Value) -> VS (JavaCode Value) Source # arccos :: VS (JavaCode Value) -> VS (JavaCode Value) Source # arctan :: VS (JavaCode Value) -> VS (JavaCode Value) Source # floor :: VS (JavaCode Value) -> VS (JavaCode Value) Source # ceil :: VS (JavaCode Value) -> VS (JavaCode Value) Source #
Reference JavaCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods makeRef :: VS (JavaCode Value) -> VS (JavaCode Value) Source # maybeDeref :: VS (JavaCode Value) -> VS (JavaCode Value) Source #
ScopeSym JavaCode ScopeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods global :: JavaCode ScopeData Source # mainFn :: JavaCode ScopeData Source # local :: JavaCode ScopeData Source #
Set JavaCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods contains :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # setAdd :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # setRemove :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # setUnion :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source #
TypeElim JavaCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods getCodeType :: JavaCode TypeData -> CodeType Source #
TypeSym JavaCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods bool :: VS (JavaCode TypeData) Source # int :: VS (JavaCode TypeData) Source # float :: VS (JavaCode TypeData) Source # double :: VS (JavaCode TypeData) Source # char :: VS (JavaCode TypeData) Source # string :: VS (JavaCode TypeData) Source # infile :: VS (JavaCode TypeData) Source # outfile :: VS (JavaCode TypeData) Source # referenceType :: VS (JavaCode TypeData) -> VS (JavaCode TypeData) Source # listType :: VS (JavaCode TypeData) -> VS (JavaCode TypeData) Source # setType :: VS (JavaCode TypeData) -> VS (JavaCode TypeData) Source # arrayType :: VS (JavaCode TypeData) -> VS (JavaCode TypeData) Source # innerType :: VS (JavaCode TypeData) -> VS (JavaCode TypeData) Source # funcType :: [VS (JavaCode TypeData)] -> VS (JavaCode TypeData) -> VS (JavaCode TypeData) Source # void :: VS (JavaCode TypeData) Source #
VisibilitySym JavaCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods private :: JavaCode Doc Source # public :: JavaCode Doc Source #
BlockElim JavaCode Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods block :: JavaCode Block -> Doc Source #
BodyElim JavaCode Body Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods body :: JavaCode Body -> Doc Source #
InternalBinderElim JavaCode BinderD Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods binderElim :: JavaCode BinderD -> Doc Source #
InternalListFunc JavaCode Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods listAccessFunc :: VS (JavaCode TypeData) -> VS (JavaCode Value) -> VS (JavaCode FuncData) Source #
InternalVarElim JavaCode Variable Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods variableBind :: JavaCode Variable -> AttachmentTag Source # variable :: JavaCode Variable -> Doc Source #
MethodElim JavaCode MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods method :: JavaCode MethodData -> Doc Source #
MethodTypeSym JavaCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods mType :: VS (JavaCode TypeData) -> MS (JavaCode TypeData) Source #
RenderBlock JavaCode Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods multiBlock :: [MS (JavaCode Block)] -> MS (JavaCode Block) Source #
RenderBody JavaCode Body Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods multiBody :: [MS (JavaCode Body)] -> MS (JavaCode Body) Source #
RenderStatement JavaCode Statement Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods stmt :: MS (JavaCode Statement) -> MS (JavaCode Statement) Source # loopStmt :: MS (JavaCode Statement) -> MS (JavaCode Statement) Source # stmtFromData :: Doc -> Terminator -> MS (JavaCode Statement) Source #
RenderType JavaCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods multiType :: [VS (JavaCode TypeData)] -> VS (JavaCode TypeData) Source #
RenderVisibility JavaCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods visibilityFromData :: VisibilityTag -> Doc -> JavaCode Doc Source #
StatementElim JavaCode Statement Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods statement :: JavaCode Statement -> Doc Source # statementTerm :: JavaCode Statement -> Terminator Source #
ValueElim JavaCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods valuePrec :: JavaCode Value -> Maybe Int Source # valueInt :: JavaCode Value -> Maybe Integer Source # value :: JavaCode Value -> Doc Source #
VisibilityElim JavaCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods visibility :: JavaCode Doc -> Doc Source #
FileSym JavaCode FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods fileDoc :: FS (JavaCode ModData) -> FS (JavaCode FileData) Source # docMod :: String -> String -> [String] -> String -> FS (JavaCode FileData) -> FS (JavaCode FileData) Source #
GetSet JavaCode Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods get :: VS (JavaCode Value) -> VS (JavaCode Variable) -> VS (JavaCode Value) Source # set :: VS (JavaCode Value) -> VS (JavaCode Variable) -> VS (JavaCode Value) -> VS (JavaCode Value) Source #
ProgramSym JavaCode ProgData FileData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods prog :: Label -> Label -> [FS (JavaCode FileData)] -> GSProgram JavaCode ProgData Source #
InternalGetSet JavaCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods getFunc :: VS (JavaCode Variable) -> VS (JavaCode FuncData) Source # setFunc :: VS (JavaCode TypeData) -> VS (JavaCode Variable) -> VS (JavaCode Value) -> VS (JavaCode FuncData) Source #
Array JavaCode Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods arrayElem :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Variable) Source # arrayLength :: VS (JavaCode Value) -> VS (JavaCode Value) Source # arrayCopy :: VS (JavaCode Value) -> VS (JavaCode Value) Source #
BinderElim JavaCode BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods binderName :: JavaCode BinderD -> String Source # binderType :: JavaCode BinderD -> JavaCode TypeData Source #
BinderSym JavaCode BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods binder :: Label -> VS (JavaCode TypeData) -> VS (JavaCode BinderD) Source #
BlockSym JavaCode Block Statement Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods block :: [MS (JavaCode Statement)] -> MS (JavaCode Block) Source #
BodySym JavaCode Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods body :: [MS (JavaCode Block)] -> MS (JavaCode Body) Source # addComments :: Label -> MS (JavaCode Body) -> MS (JavaCode Body) Source #
ListStatement JavaCode Statement Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods listAdd :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) -> MS (JavaCode Statement) Source # listAppend :: VS (JavaCode Value) -> VS (JavaCode Value) -> MS (JavaCode Statement) Source # listSet :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) -> MS (JavaCode Statement) Source #
Literal JavaCode Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods litTrue :: VS (JavaCode Value) Source # litFalse :: VS (JavaCode Value) Source # litChar :: Char -> VS (JavaCode Value) Source # litDouble :: Double -> VS (JavaCode Value) Source # litFloat :: Float -> VS (JavaCode Value) Source # litInt :: Integer -> VS (JavaCode Value) Source # litString :: String -> VS (JavaCode Value) Source # litArray :: VS (JavaCode TypeData) -> [VS (JavaCode Value)] -> VS (JavaCode Value) Source # litList :: VS (JavaCode TypeData) -> [VS (JavaCode Value)] -> VS (JavaCode Value) Source # litSet :: VS (JavaCode TypeData) -> [VS (JavaCode Value)] -> VS (JavaCode Value) Source #
ParameterSym JavaCode ParamData Variable Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods param :: VS (JavaCode Variable) -> MS (JavaCode ParamData) Source # pointerParam :: VS (JavaCode Variable) -> MS (JavaCode ParamData) Source #
PrintConsole JavaCode Statement Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods print :: VS (JavaCode Value) -> MS (JavaCode Statement) Source # printLn :: VS (JavaCode Value) -> MS (JavaCode Statement) Source # printStr :: String -> MS (JavaCode Statement) Source # printStrLn :: String -> MS (JavaCode Statement) Source #
PrintFile JavaCode Statement Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods printFile :: VS (JavaCode Value) -> VS (JavaCode Value) -> MS (JavaCode Statement) Source # printFileLn :: VS (JavaCode Value) -> VS (JavaCode Value) -> MS (JavaCode Statement) Source # printFileStr :: VS (JavaCode Value) -> String -> MS (JavaCode Statement) Source # printFileStrLn :: VS (JavaCode Value) -> String -> MS (JavaCode Statement) Source #
ReadConsole JavaCode Statement Variable Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods getInput :: VS (JavaCode Variable) -> MS (JavaCode Statement) Source # discardInput :: MS (JavaCode Statement) Source #
ValueStatement JavaCode Statement Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods valStmt :: VS (JavaCode Value) -> MS (JavaCode Statement) Source #
ValueSym JavaCode Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods valueType :: JavaCode Value -> JavaCode TypeData Source #
VariableElim JavaCode Variable TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods variableName :: JavaCode Variable -> String Source # variableType :: JavaCode Variable -> JavaCode TypeData Source #
VariableSym JavaCode Variable TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods var :: Label -> VS (JavaCode TypeData) -> VS (JavaCode Variable) Source # constant :: Label -> VS (JavaCode TypeData) -> VS (JavaCode Variable) Source # extVar :: Library -> Label -> VS (JavaCode TypeData) -> VS (JavaCode Variable) Source #
VariableValue JavaCode Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods valueOf :: VS (JavaCode Variable) -> VS (JavaCode Value) Source #
InternalControlStmt JavaCode Statement Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods multiReturn :: [VS (JavaCode Value)] -> MS (JavaCode Statement) Source #
InternalIOStmt JavaCode Statement Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods printSt :: Bool -> Maybe (VS (JavaCode Value)) -> VS (JavaCode Value) -> VS (JavaCode Value) -> MS (JavaCode Statement) Source #
ParamElim JavaCode ParamData TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods parameterName :: JavaCode ParamData -> Label Source # parameterType :: JavaCode ParamData -> JavaCode TypeData Source # parameter :: JavaCode ParamData -> Doc Source #
RenderParam JavaCode ParamData Variable Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods paramFromData :: VS (JavaCode Variable) -> Doc -> MS (JavaCode ParamData) Source #
RenderVariable JavaCode Variable TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods varFromData :: AttachmentTag -> String -> VS (JavaCode TypeData) -> Doc -> VS (JavaCode Variable) Source #
ClassSym JavaCode Class StateVar MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods buildClass :: Maybe Label -> [CSStateVar JavaCode StateVar] -> [MS (JavaCode MethodData)] -> [MS (JavaCode MethodData)] -> CS (JavaCode Class) Source # extraClass :: Label -> Maybe Label -> [CSStateVar JavaCode StateVar] -> [MS (JavaCode MethodData)] -> [MS (JavaCode MethodData)] -> CS (JavaCode Class) Source # implementingClass :: Label -> [Label] -> [CSStateVar JavaCode StateVar] -> [MS (JavaCode MethodData)] -> [MS (JavaCode MethodData)] -> CS (JavaCode Class) Source # docClass :: String -> CS (JavaCode Class) -> CS (JavaCode Class) Source #
InternalValueExp JavaCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods objMethodCallMixedArgs' :: Label -> VS (JavaCode TypeData) -> VS (JavaCode Value) -> [VS (JavaCode Value)] -> NamedArgs JavaCode Variable Value -> VS (JavaCode Value) Source # classMethodCallMixedArgs' :: Label -> VS (JavaCode TypeData) -> VS (JavaCode TypeData) -> [VS (JavaCode Value)] -> NamedArgs JavaCode Variable Value -> VS (JavaCode Value) Source #
ModuleSym JavaCode ModData Class MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods buildModule :: Label -> [Label] -> [MS (JavaCode MethodData)] -> [CS (JavaCode Class)] -> FS (JavaCode ModData) Source #
OOFuncAppStatement JavaCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods selfInOutCall :: InOutCall JavaCode Statement Variable Value Source #
OOValueExpression JavaCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods newObjMixedArgs :: MixedCtorCall JavaCode Variable Value TypeData Source # extNewObjMixedArgs :: Library -> MixedCtorCall JavaCode Variable Value TypeData Source # libNewObjMixedArgs :: Library -> MixedCtorCall JavaCode Variable Value TypeData Source #
OOVariableSym JavaCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods classVar :: Label -> VS (JavaCode TypeData) -> VS (JavaCode Variable) Source # classConst :: Label -> VS (JavaCode TypeData) -> VS (JavaCode Variable) Source # classVarAccess :: VS (JavaCode TypeData) -> VS (JavaCode Variable) -> VS (JavaCode Variable) Source # extClassVarAccess :: VS (JavaCode TypeData) -> VS (JavaCode Variable) -> VS (JavaCode Variable) Source # instanceVarAccess :: VS (JavaCode Value) -> VS (JavaCode Variable) -> VS (JavaCode Variable) Source #
RenderClass JavaCode Class StateVar MethodData Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods intClass :: Label -> JavaCode Doc -> JavaCode ParentSpec -> [CSStateVar JavaCode StateVar] -> [MS (JavaCode MethodData)] -> [MS (JavaCode MethodData)] -> CS (JavaCode Class) Source # inherit :: Maybe Label -> JavaCode ParentSpec Source # implements :: [Label] -> JavaCode ParentSpec Source # commentedClass :: CS (JavaCode Doc) -> CS (JavaCode Class) -> CS (JavaCode Class) Source #
AssignStatement JavaCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods (&-=) :: VS (JavaCode Variable) -> VS (JavaCode Value) -> MS (JavaCode Statement) Source # (&+=) :: VS (JavaCode Variable) -> VS (JavaCode Value) -> MS (JavaCode Statement) Source # (&++) :: VS (JavaCode Variable) -> MS (JavaCode Statement) Source # (&--) :: VS (JavaCode Variable) -> MS (JavaCode Statement) Source # assign :: VS (JavaCode Variable) -> VS (JavaCode Value) -> MS (JavaCode Statement) Source #
FileHandling JavaCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods openFileR :: VS (JavaCode Variable) -> VS (JavaCode Value) -> MS (JavaCode Statement) Source # openFileW :: VS (JavaCode Variable) -> VS (JavaCode Value) -> MS (JavaCode Statement) Source # openFileA :: VS (JavaCode Variable) -> VS (JavaCode Value) -> MS (JavaCode Statement) Source # closeFile :: VS (JavaCode Value) -> MS (JavaCode Statement) Source #
FuncAppStatement JavaCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods inOutCall :: InOutCall JavaCode Statement Variable Value Source # extInOutCall :: Library -> InOutCall JavaCode Statement Variable Value Source #
InternalList JavaCode Block Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods listSlice' :: Maybe (VS (JavaCode Value)) -> Maybe (VS (JavaCode Value)) -> Maybe (VS (JavaCode Value)) -> VS (JavaCode Variable) -> VS (JavaCode Value) -> MS (JavaCode Block) Source #
ReadFile JavaCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods getFileInput :: VS (JavaCode Value) -> VS (JavaCode Variable) -> MS (JavaCode Statement) Source # discardFileInput :: VS (JavaCode Value) -> MS (JavaCode Statement) Source # getFileInputLine :: VS (JavaCode Value) -> VS (JavaCode Variable) -> MS (JavaCode Statement) Source # discardFileLine :: VS (JavaCode Value) -> MS (JavaCode Statement) Source # getFileInputAll :: VS (JavaCode Value) -> VS (JavaCode Variable) -> MS (JavaCode Statement) Source #
StringStatement JavaCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods stringSplit :: Char -> VS (JavaCode Variable) -> VS (JavaCode Value) -> MS (JavaCode Statement) Source # stringListVals :: [VS (JavaCode Variable)] -> VS (JavaCode Value) -> MS (JavaCode Statement) Source # stringListLists :: [VS (JavaCode Variable)] -> VS (JavaCode Value) -> MS (JavaCode Statement) Source #
InternalAssignStmt JavaCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods multiAssign :: [VS (JavaCode Variable)] -> [VS (JavaCode Value)] -> MS (JavaCode Statement) Source #
RenderValue JavaCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods inputFunc :: VS (JavaCode Value) Source # printFunc :: VS (JavaCode Value) Source # printLnFunc :: VS (JavaCode Value) Source # printFileFunc :: VS (JavaCode Value) -> VS (JavaCode Value) Source # printFileLnFunc :: VS (JavaCode Value) -> VS (JavaCode Value) Source # cast :: VS (JavaCode TypeData) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # call :: Maybe Library -> Maybe Doc -> MixedCall JavaCode Variable Value TypeData Source # valFromData :: Maybe Int -> Maybe Integer -> VS (JavaCode TypeData) -> Doc -> VS (JavaCode Value) Source #
OODeclStatement JavaCode Statement Variable ScopeData Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods objDecDef :: VS (JavaCode Variable) -> JavaCode ScopeData -> VS (JavaCode Value) -> MS (JavaCode Statement) Source # objDecNew :: VS (JavaCode Variable) -> JavaCode ScopeData -> [VS (JavaCode Value)] -> MS (JavaCode Statement) Source # extObjDecNew :: Library -> VS (JavaCode Variable) -> JavaCode ScopeData -> [VS (JavaCode Value)] -> MS (JavaCode Statement) Source #
StrategyPattern JavaCode Body Block Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods runStrategy :: Label -> [(Label, MS (JavaCode Body))] -> Maybe (VS (JavaCode Value)) -> Maybe (VS (JavaCode Variable)) -> MS (JavaCode Block) Source #
ControlStatement JavaCode Body Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods break :: MS (JavaCode Statement) Source # continue :: MS (JavaCode Statement) Source # returnStmt :: VS (JavaCode Value) -> MS (JavaCode Statement) Source # throw :: Label -> MS (JavaCode Statement) Source # ifCond :: [(VS (JavaCode Value), MS (JavaCode Body))] -> MS (JavaCode Body) -> MS (JavaCode Statement) Source # switch :: VS (JavaCode Value) -> [(VS (JavaCode Value), MS (JavaCode Body))] -> MS (JavaCode Body) -> MS (JavaCode Statement) Source # ifExists :: VS (JavaCode Value) -> MS (JavaCode Body) -> MS (JavaCode Body) -> MS (JavaCode Statement) Source # for :: MS (JavaCode Statement) -> VS (JavaCode Value) -> MS (JavaCode Statement) -> MS (JavaCode Body) -> MS (JavaCode Statement) Source # forRange :: VS (JavaCode Variable) -> VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) -> MS (JavaCode Body) -> MS (JavaCode Statement) Source # forEach :: VS (JavaCode Variable) -> VS (JavaCode Value) -> MS (JavaCode Body) -> MS (JavaCode Statement) Source # while :: VS (JavaCode Value) -> MS (JavaCode Body) -> MS (JavaCode Statement) Source # tryCatch :: MS (JavaCode Body) -> MS (JavaCode Body) -> MS (JavaCode Statement) Source # assert :: VS (JavaCode Value) -> VS (JavaCode Value) -> MS (JavaCode Statement) Source #
ValueExpression JavaCode Variable Value BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods inlineIf :: VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) -> VS (JavaCode Value) Source # funcAppMixedArgs :: MixedCall JavaCode Variable Value TypeData Source # extFuncAppMixedArgs :: Library -> MixedCall JavaCode Variable Value TypeData Source # libFuncAppMixedArgs :: Library -> MixedCall JavaCode Variable Value TypeData Source # lambda :: [VS (JavaCode BinderD)] -> VS (JavaCode Value) -> VS (JavaCode Value) Source # notNull :: VS (JavaCode Value) -> VS (JavaCode Value) Source #
StateVarSym JavaCode Doc Doc Doc Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods stateVar :: JavaCode Doc -> JavaCode Doc -> VS (JavaCode Variable) -> CSStateVar JavaCode Doc Source # stateVarDef :: JavaCode Doc -> JavaCode Doc -> VS (JavaCode Variable) -> VS (JavaCode Value) -> CSStateVar JavaCode Doc Source # constVar :: JavaCode Doc -> VS (JavaCode Variable) -> VS (JavaCode Value) -> CSStateVar JavaCode Doc Source #
DeclStatement JavaCode Body Statement Variable ScopeData Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods varDec :: VS (JavaCode Variable) -> JavaCode ScopeData -> MS (JavaCode Statement) Source # varDecDef :: VS (JavaCode Variable) -> JavaCode ScopeData -> VS (JavaCode Value) -> MS (JavaCode Statement) Source # listDec :: Integer -> VS (JavaCode Variable) -> JavaCode ScopeData -> MS (JavaCode Statement) Source # listDecDef :: VS (JavaCode Variable) -> JavaCode ScopeData -> [VS (JavaCode Value)] -> MS (JavaCode Statement) Source # setDec :: VS (JavaCode Variable) -> JavaCode ScopeData -> MS (JavaCode Statement) Source # setDecDef :: VS (JavaCode Variable) -> JavaCode ScopeData -> VS (JavaCode Value) -> MS (JavaCode Statement) Source # arrayDec :: Integer -> VS (JavaCode Value) -> VS (JavaCode Variable) -> JavaCode ScopeData -> MS (JavaCode Statement) Source # arrayDecDef :: VS (JavaCode Variable) -> JavaCode ScopeData -> [VS (JavaCode Value)] -> MS (JavaCode Statement) Source # constDecDef :: VS (JavaCode Variable) -> JavaCode ScopeData -> VS (JavaCode Value) -> MS (JavaCode Statement) Source # funcDecDef :: VS (JavaCode Variable) -> JavaCode ScopeData -> [VS (JavaCode Variable)] -> MS (JavaCode Body) -> MS (JavaCode Statement) Source #
OORenderMethod JavaCode MethodData Doc Doc ParamData Body TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods intMethod :: Bool -> Label -> JavaCode Doc -> JavaCode Doc -> MS (JavaCode TypeData) -> [MS (JavaCode ParamData)] -> MS (JavaCode Body) -> MS (JavaCode MethodData) Source # intFunc :: Bool -> Label -> JavaCode Doc -> JavaCode Doc -> MS (JavaCode TypeData) -> [MS (JavaCode ParamData)] -> MS (JavaCode Body) -> MS (JavaCode MethodData) Source # destructor :: [CSStateVar JavaCode stvr] -> MS (JavaCode MethodData) Source #
MethodSym JavaCode MethodData Doc ParamData Body Variable TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods docMain :: MS (JavaCode Body) -> MS (JavaCode MethodData) Source # function :: Label -> JavaCode Doc -> VS (JavaCode TypeData) -> [MS (JavaCode ParamData)] -> MS (JavaCode Body) -> MS (JavaCode MethodData) Source # mainFunction :: MS (JavaCode Body) -> MS (JavaCode MethodData) Source # docFunc :: String -> [String] -> Maybe String -> MS (JavaCode MethodData) -> MS (JavaCode MethodData) Source # inOutFunc :: Label -> JavaCode Doc -> InOutFunc JavaCode MethodData Body Variable Source # docInOutFunc :: Label -> JavaCode Doc -> DocInOutFunc JavaCode MethodData Body Variable Source #
OOMethodSym JavaCode MethodData Doc Doc ParamData Body Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods method :: Label -> JavaCode Doc -> JavaCode Doc -> VS (JavaCode TypeData) -> [MS (JavaCode ParamData)] -> MS (JavaCode Body) -> MS (JavaCode MethodData) Source # getMethod :: VS (JavaCode Variable) -> MS (JavaCode MethodData) Source # setMethod :: VS (JavaCode Variable) -> MS (JavaCode MethodData) Source # constructor :: [MS (JavaCode ParamData)] -> Initializers JavaCode Variable Value -> MS (JavaCode Body) -> MS (JavaCode MethodData) Source # inOutMethod :: Label -> JavaCode Doc -> JavaCode Doc -> InOutFunc JavaCode MethodData Body Variable Source # docInOutMethod :: Label -> JavaCode Doc -> JavaCode Doc -> DocInOutFunc JavaCode MethodData Body Variable Source #
CommonRenderSym JavaCode MethodData Doc ParamData Body Block Statement Variable ScopeData Value BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
OORenderSym JavaCode FileData ModData Class StateVar MethodData Doc Doc ParamData Body Block Statement Variable ScopeData Value BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
OOProg JavaCode ProgData FileData ModData Class StateVar MethodData Doc Doc ParamData Body Block Statement Variable ScopeData Value BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

jName :: String Source #

jVersion :: String Source #