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

GetSet JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods get :: SValue JavaCode -> SVariable JavaCode -> SValue JavaCode Source # set :: SValue JavaCode -> SVariable JavaCode -> SValue JavaCode -> SValue JavaCode Source #
InternalValueExp JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods objMethodCallMixedArgs' :: Label -> VS (JavaCode TypeData) -> SValue JavaCode -> [SValue JavaCode] -> NamedArgs JavaCode -> SValue JavaCode Source # classMethodCallMixedArgs' :: Label -> VS (JavaCode TypeData) -> VS (JavaCode TypeData) -> [SValue JavaCode] -> NamedArgs JavaCode -> SValue JavaCode Source #
OOFunctionSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods func :: Label -> VS (JavaCode TypeData) -> [SValue JavaCode] -> VS (JavaCode FuncData) Source # objAccess :: SValue JavaCode -> VS (JavaCode FuncData) -> SValue JavaCode Source #
OOTypeSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods obj :: ClassName -> VS (JavaCode TypeData) Source #
OOValueExpression JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods newObjMixedArgs :: MixedCtorCall JavaCode Source # extNewObjMixedArgs :: Library -> MixedCtorCall JavaCode Source # libNewObjMixedArgs :: Library -> MixedCtorCall JavaCode Source #
OOValueSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
OOVariableSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods classVar :: Label -> VS (JavaCode TypeData) -> SVariable JavaCode Source # classConst :: Label -> VS (JavaCode TypeData) -> SVariable JavaCode Source # classVarAccess :: VS (JavaCode TypeData) -> SVariable JavaCode -> SVariable JavaCode Source # extClassVarAccess :: VS (JavaCode TypeData) -> SVariable JavaCode -> SVariable JavaCode Source # instanceVarAccess :: SValue JavaCode -> SVariable JavaCode -> SVariable JavaCode Source #
OOVariableValue JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
SelfSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods self :: SVariable JavaCode Source #
ClassElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods class' :: JavaCode Class -> Doc Source #
InternalGetSet JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods getFunc :: SVariable JavaCode -> VS (JavaCode FuncData) Source # setFunc :: VS (JavaCode TypeData) -> SVariable JavaCode -> SValue JavaCode -> VS (JavaCode FuncData) Source #
OOMethodTypeSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods construct :: Label -> MSMthdType JavaCode Source #
HasException JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods toConcreteExc :: ExceptionType -> JavaCode Exception Source #
Argument JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods pointerArg :: SValue JavaCode -> SValue JavaCode Source #
Array JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods arrayElem :: SValue JavaCode -> SValue JavaCode -> SVariable JavaCode Source # arrayLength :: SValue JavaCode -> SValue JavaCode Source # arrayCopy :: SValue JavaCode -> SValue JavaCode Source #
BinderElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods binderName :: JavaCode BinderD -> String Source # binderType :: JavaCode BinderD -> JavaCode TypeData Source #
BinderSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods binder :: Label -> VS (JavaCode TypeData) -> VSBinder JavaCode Source #
BooleanExpression JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods (?!) :: SValue JavaCode -> SValue JavaCode Source # (?&&) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (?\|\|) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source #
CommandLineArgs JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods arg :: Integer -> SValue JavaCode Source # argsList :: SValue JavaCode Source # argExists :: Integer -> SValue JavaCode Source #
Comparison JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods (?<) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (?<=) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (?>) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (?>=) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (?==) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (?!=) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source #
FunctionSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
IndexTranslator JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods intToIndex :: SValue JavaCode -> SValue JavaCode Source # indexToInt :: SValue JavaCode -> SValue JavaCode Source #
List JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods listSize :: SValue JavaCode -> SValue JavaCode Source # listAccess :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # indexOf :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source #
Literal JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods litTrue :: SValue JavaCode Source # litFalse :: SValue JavaCode Source # litChar :: Char -> SValue JavaCode Source # litDouble :: Double -> SValue JavaCode Source # litFloat :: Float -> SValue JavaCode Source # litInt :: Integer -> SValue JavaCode Source # litString :: String -> SValue JavaCode Source # litArray :: VS (JavaCode TypeData) -> [SValue JavaCode] -> SValue JavaCode Source # litList :: VS (JavaCode TypeData) -> [SValue JavaCode] -> SValue JavaCode Source # litSet :: VS (JavaCode TypeData) -> [SValue JavaCode] -> SValue JavaCode Source #
MathConstant JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods pi :: SValue JavaCode Source #
NumericExpression JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods (#~) :: SValue JavaCode -> SValue JavaCode Source # (#/^) :: SValue JavaCode -> SValue JavaCode Source # (#\|) :: SValue JavaCode -> SValue JavaCode Source # (#+) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (#-) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (#*) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (#/) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (#%) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (#^) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # log :: SValue JavaCode -> SValue JavaCode Source # ln :: SValue JavaCode -> SValue JavaCode Source # exp :: SValue JavaCode -> SValue JavaCode Source # sin :: SValue JavaCode -> SValue JavaCode Source # cos :: SValue JavaCode -> SValue JavaCode Source # tan :: SValue JavaCode -> SValue JavaCode Source # csc :: SValue JavaCode -> SValue JavaCode Source # sec :: SValue JavaCode -> SValue JavaCode Source # cot :: SValue JavaCode -> SValue JavaCode Source # arcsin :: SValue JavaCode -> SValue JavaCode Source # arccos :: SValue JavaCode -> SValue JavaCode Source # arctan :: SValue JavaCode -> SValue JavaCode Source # floor :: SValue JavaCode -> SValue JavaCode Source # ceil :: SValue JavaCode -> SValue JavaCode Source #
ParameterSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods param :: SVariable JavaCode -> MS (JavaCode ParamData) Source # pointerParam :: SVariable JavaCode -> MS (JavaCode ParamData) Source #
Reference JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods makeRef :: SValue JavaCode -> SValue JavaCode Source # maybeDeref :: SValue JavaCode -> SValue JavaCode Source #
ScopeSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods global :: JavaCode ScopeData Source # mainFn :: JavaCode ScopeData Source # local :: JavaCode ScopeData Source #
Set JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods contains :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # setAdd :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # setRemove :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # setUnion :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source #
TypeElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods getCodeType :: JavaCode TypeData -> CodeType Source #
TypeSym JavaCode 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 #
ValueExpression JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods inlineIf :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # funcAppMixedArgs :: MixedCall JavaCode Source # extFuncAppMixedArgs :: Library -> MixedCall JavaCode Source # libFuncAppMixedArgs :: Library -> MixedCall JavaCode Source # lambda :: [VSBinder JavaCode] -> SValue JavaCode -> SValue JavaCode Source # notNull :: SValue JavaCode -> SValue JavaCode Source #
ValueSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods valueType :: JavaCode Value -> JavaCode TypeData Source #
VariableElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods variableName :: JavaCode Variable -> String Source # variableType :: JavaCode Variable -> JavaCode TypeData Source #
VariableSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods var :: Label -> VS (JavaCode TypeData) -> SVariable JavaCode Source # constant :: Label -> VS (JavaCode TypeData) -> SVariable JavaCode Source # extVar :: Library -> Label -> VS (JavaCode TypeData) -> SVariable JavaCode Source #
VariableValue JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods valueOf :: SVariable JavaCode -> SValue JavaCode 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 #
FunctionElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods functionType :: JavaCode FuncData -> JavaCode TypeData Source # function :: JavaCode FuncData -> Doc Source #
ImportSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods langImport :: Label -> JavaCode Doc Source # modImport :: Label -> JavaCode Doc Source #
InternalBinderElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods binderElim :: JavaCode BinderD -> Doc Source #
InternalListFunc JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods listAccessFunc :: VS (JavaCode TypeData) -> SValue JavaCode -> VS (JavaCode FuncData) Source #
InternalVarElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods variableBind :: JavaCode Variable -> AttachmentTag Source # variable :: JavaCode Variable -> Doc Source #
MethodTypeSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods mType :: VS (JavaCode TypeData) -> MSMthdType JavaCode 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 #
ParamElim JavaCode 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 #
RenderFunction JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods funcFromData :: Doc -> VS (JavaCode TypeData) -> VS (JavaCode FuncData) Source #
RenderParam JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods paramFromData :: SVariable JavaCode -> Doc -> MS (JavaCode ParamData) Source #
RenderType JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods multiType :: [VS (JavaCode TypeData)] -> VS (JavaCode TypeData) Source #
RenderValue JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods inputFunc :: SValue JavaCode Source # printFunc :: SValue JavaCode Source # printLnFunc :: SValue JavaCode Source # printFileFunc :: SValue JavaCode -> SValue JavaCode Source # printFileLnFunc :: SValue JavaCode -> SValue JavaCode Source # cast :: VS (JavaCode TypeData) -> SValue JavaCode -> SValue JavaCode Source # call :: Maybe Library -> Maybe Doc -> MixedCall JavaCode Source # valFromData :: Maybe Int -> Maybe Integer -> VS (JavaCode TypeData) -> Doc -> SValue JavaCode Source #
RenderVariable JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods varFromData :: AttachmentTag -> String -> VS (JavaCode TypeData) -> Doc -> SVariable JavaCode Source #
ScopeElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods scopeData :: JavaCode ScopeData -> ScopeData 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 #
ValueElim JavaCode 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 #
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 #
InternalList JavaCode Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods listSlice' :: Maybe (SValue JavaCode) -> Maybe (SValue JavaCode) -> Maybe (SValue JavaCode) -> SVariable JavaCode -> SValue JavaCode -> MS (JavaCode Block) Source #
UnRepr JavaCode contents Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods unRepr :: JavaCode contents -> contents 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 #
AttachmentSym JavaCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods classLevel :: JavaCode Doc Source # instanceLevel :: JavaCode Doc Source #
ModuleSym JavaCode ModData MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods buildModule :: Label -> [Label] -> [MS (JavaCode MethodData)] -> [CS (JavaCode Class)] -> FS (JavaCode ModData) Source #
StrategyPattern JavaCode Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods runStrategy :: Label -> [(Label, MS (JavaCode Body))] -> Maybe (SValue JavaCode) -> Maybe (SVariable JavaCode) -> MS (JavaCode Block) Source #
ModuleElim JavaCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods module' :: JavaCode ModData -> Doc 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 #
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 #
MethodElim JavaCode MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods method :: JavaCode MethodData -> Doc 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 #
RenderVisibility JavaCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods visibilityFromData :: VisibilityTag -> Doc -> JavaCode 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 #
ProgramSym JavaCode ProgData FileData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods prog :: Label -> Label -> [FS (JavaCode FileData)] -> GSProgram JavaCode ProgData Source #
StateVarSym JavaCode Doc Doc Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods stateVar :: JavaCode Doc -> JavaCode Doc -> SVariable JavaCode -> CSStateVar JavaCode Doc Source # stateVarDef :: JavaCode Doc -> JavaCode Doc -> SVariable JavaCode -> SValue JavaCode -> CSStateVar JavaCode Doc Source # constVar :: JavaCode Doc -> SVariable JavaCode -> SValue JavaCode -> CSStateVar JavaCode Doc Source #
RenderClass JavaCode Doc MethodData StateVar 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 #
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 #
MethodSym JavaCode Doc MethodData Body 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 Source # docInOutFunc :: Label -> JavaCode Doc -> DocInOutFunc JavaCode MethodData Body Source #
ClassSym JavaCode Doc MethodData StateVar Doc 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 #
OOMethodSym JavaCode Doc MethodData Doc Body 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 :: SVariable JavaCode -> MS (JavaCode MethodData) Source # setMethod :: SVariable JavaCode -> MS (JavaCode MethodData) Source # constructor :: [MS (JavaCode ParamData)] -> Initializers JavaCode -> MS (JavaCode Body) -> MS (JavaCode MethodData) Source # inOutMethod :: Label -> JavaCode Doc -> JavaCode Doc -> InOutFunc JavaCode MethodData Body Source # docInOutMethod :: Label -> JavaCode Doc -> JavaCode Doc -> DocInOutFunc JavaCode MethodData Body Source #
OORenderMethod JavaCode Doc MethodData Doc Body Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods intMethod :: Bool -> Label -> JavaCode Doc -> JavaCode Doc -> MSMthdType JavaCode -> [MS (JavaCode ParamData)] -> MS (JavaCode Body) -> MS (JavaCode MethodData) Source # intFunc :: Bool -> Label -> JavaCode Doc -> JavaCode Doc -> MSMthdType JavaCode -> [MS (JavaCode ParamData)] -> MS (JavaCode Body) -> MS (JavaCode MethodData) Source # destructor :: [CSStateVar JavaCode stvr] -> MS (JavaCode MethodData) Source #
BlockSym JavaCode Block (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods block :: [MS (JavaCode (Doc, Terminator))] -> MS (JavaCode Block) Source #
CommentStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods comment :: String -> MS (JavaCode (Doc, Terminator)) Source #
EmptyStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods emptyStmt :: MS (JavaCode (Doc, Terminator)) Source #
MultiStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods multi :: [MS (JavaCode (Doc, Terminator))] -> MS (JavaCode (Doc, Terminator)) Source #
RenderStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods stmt :: MS (JavaCode (Doc, Terminator)) -> MS (JavaCode (Doc, Terminator)) Source # loopStmt :: MS (JavaCode (Doc, Terminator)) -> MS (JavaCode (Doc, Terminator)) Source # stmtFromData :: Doc -> Terminator -> MS (JavaCode (Doc, Terminator)) Source #
StatementElim JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods statement :: JavaCode (Doc, Terminator) -> Doc Source # statementTerm :: JavaCode (Doc, Terminator) -> Terminator Source #
CommonRenderSym JavaCode Doc (Doc, Terminator) MethodData Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
OORenderSym JavaCode Doc (Doc, Terminator) MethodData StateVar Doc FileData ModData Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
OOProg JavaCode Doc (Doc, Terminator) MethodData StateVar Doc ProgData FileData ModData Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
OOFuncAppStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods selfInOutCall :: InOutCall JavaCode (Doc, Terminator) Source #
ObserverPattern JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods notifyObservers :: VS (JavaCode FuncData) -> VS (JavaCode TypeData) -> MS (JavaCode (Doc, Terminator)) Source #
AssignStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods (&-=) :: SVariable JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # (&+=) :: SVariable JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # (&++) :: SVariable JavaCode -> MS (JavaCode (Doc, Terminator)) Source # (&--) :: SVariable JavaCode -> MS (JavaCode (Doc, Terminator)) Source # assign :: SVariable JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source #
FileHandling JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods openFileR :: SVariable JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # openFileW :: SVariable JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # openFileA :: SVariable JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # closeFile :: SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source #
FuncAppStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods inOutCall :: InOutCall JavaCode (Doc, Terminator) Source # extInOutCall :: Library -> InOutCall JavaCode (Doc, Terminator) Source #
ListStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods listAdd :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # listAppend :: SValue JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # listSet :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source #
PrintConsole JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods print :: SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # printLn :: SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # printStr :: String -> MS (JavaCode (Doc, Terminator)) Source # printStrLn :: String -> MS (JavaCode (Doc, Terminator)) Source #
PrintFile JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods printFile :: SValue JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # printFileLn :: SValue JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # printFileStr :: SValue JavaCode -> String -> MS (JavaCode (Doc, Terminator)) Source # printFileStrLn :: SValue JavaCode -> String -> MS (JavaCode (Doc, Terminator)) Source #
ReadConsole JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods getInput :: SVariable JavaCode -> MS (JavaCode (Doc, Terminator)) Source # discardInput :: MS (JavaCode (Doc, Terminator)) Source #
ReadFile JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods getFileInput :: SValue JavaCode -> SVariable JavaCode -> MS (JavaCode (Doc, Terminator)) Source # discardFileInput :: SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # getFileInputLine :: SValue JavaCode -> SVariable JavaCode -> MS (JavaCode (Doc, Terminator)) Source # discardFileLine :: SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # getFileInputAll :: SValue JavaCode -> SVariable JavaCode -> MS (JavaCode (Doc, Terminator)) Source #
StringStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods stringSplit :: Char -> SVariable JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # stringListVals :: [SVariable JavaCode] -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # stringListLists :: [SVariable JavaCode] -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source #
ValueStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods valStmt :: SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source #
InternalAssignStmt JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods multiAssign :: [SVariable JavaCode] -> [SValue JavaCode] -> MS (JavaCode (Doc, Terminator)) Source #
InternalControlStmt JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods multiReturn :: [SValue JavaCode] -> MS (JavaCode (Doc, Terminator)) Source #
InternalIOStmt JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods printSt :: Bool -> Maybe (SValue JavaCode) -> SValue JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source #
OODeclStatement JavaCode (Doc, Terminator) Body Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods objDecDef :: SVariable JavaCode -> JavaCode ScopeData -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # objDecNew :: SVariable JavaCode -> JavaCode ScopeData -> [SValue JavaCode] -> MS (JavaCode (Doc, Terminator)) Source # extObjDecNew :: Library -> SVariable JavaCode -> JavaCode ScopeData -> [SValue JavaCode] -> MS (JavaCode (Doc, Terminator)) Source #
ControlStatement JavaCode (Doc, Terminator) Body Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods break :: MS (JavaCode (Doc, Terminator)) Source # continue :: MS (JavaCode (Doc, Terminator)) Source # returnStmt :: SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # throw :: Label -> MS (JavaCode (Doc, Terminator)) Source # ifCond :: [(SValue JavaCode, MS (JavaCode Body))] -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source # switch :: SValue JavaCode -> [(SValue JavaCode, MS (JavaCode Body))] -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source # ifExists :: SValue JavaCode -> MS (JavaCode Body) -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source # for :: MS (JavaCode (Doc, Terminator)) -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source # forRange :: SVariable JavaCode -> SValue JavaCode -> SValue JavaCode -> SValue JavaCode -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source # forEach :: SVariable JavaCode -> SValue JavaCode -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source # while :: SValue JavaCode -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source # tryCatch :: MS (JavaCode Body) -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source # assert :: SValue JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source #
DeclStatement JavaCode (Doc, Terminator) Body Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods varDec :: SVariable JavaCode -> JavaCode ScopeData -> MS (JavaCode (Doc, Terminator)) Source # varDecDef :: SVariable JavaCode -> JavaCode ScopeData -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # listDec :: Integer -> SVariable JavaCode -> JavaCode ScopeData -> MS (JavaCode (Doc, Terminator)) Source # listDecDef :: SVariable JavaCode -> JavaCode ScopeData -> [SValue JavaCode] -> MS (JavaCode (Doc, Terminator)) Source # setDec :: SVariable JavaCode -> JavaCode ScopeData -> MS (JavaCode (Doc, Terminator)) Source # setDecDef :: SVariable JavaCode -> JavaCode ScopeData -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # arrayDec :: Integer -> SValue JavaCode -> SVariable JavaCode -> JavaCode ScopeData -> MS (JavaCode (Doc, Terminator)) Source # arrayDecDef :: SVariable JavaCode -> JavaCode ScopeData -> [SValue JavaCode] -> MS (JavaCode (Doc, Terminator)) Source # constDecDef :: SVariable JavaCode -> JavaCode ScopeData -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # funcDecDef :: SVariable JavaCode -> JavaCode ScopeData -> [SVariable JavaCode] -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source #

jName :: String Source #

jVersion :: String Source #