Safe Haskell	Safe-Inferred
Language	Haskell2010

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

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 #
ClassSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Class JavaCode Source # Methods buildClass :: Maybe Label -> [CSStateVar JavaCode] -> [SMethod JavaCode] -> [SMethod JavaCode] -> SClass JavaCode Source # extraClass :: Label -> Maybe Label -> [CSStateVar JavaCode] -> [SMethod JavaCode] -> [SMethod JavaCode] -> SClass JavaCode Source # implementingClass :: Label -> [Label] -> [CSStateVar JavaCode] -> [SMethod JavaCode] -> [SMethod JavaCode] -> SClass JavaCode Source # docClass :: String -> SClass JavaCode -> SClass JavaCode Source #
FileSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type File JavaCode Source # Methods fileDoc :: FSModule JavaCode -> SFile JavaCode Source # docMod :: String -> [String] -> String -> SFile JavaCode -> SFile JavaCode Source #
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 -> VSType JavaCode -> SValue JavaCode -> [SValue JavaCode] -> NamedArgs JavaCode -> SValue JavaCode Source #
ModuleSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Module JavaCode Source # Methods buildModule :: Label -> [Label] -> [SMethod JavaCode] -> [SClass JavaCode] -> FSModule JavaCode Source #
OODeclStatement JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods objDecDef :: SVariable JavaCode -> JavaCode (Scope JavaCode) -> SValue JavaCode -> MSStatement JavaCode Source # objDecNew :: SVariable JavaCode -> JavaCode (Scope JavaCode) -> [SValue JavaCode] -> MSStatement JavaCode Source # extObjDecNew :: Library -> SVariable JavaCode -> JavaCode (Scope JavaCode) -> [SValue JavaCode] -> MSStatement JavaCode Source #
OOFuncAppStatement JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods selfInOutCall :: InOutCall JavaCode Source #
OOFunctionSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods func :: Label -> VSType JavaCode -> [SValue JavaCode] -> VSFunction JavaCode Source # objAccess :: SValue JavaCode -> VSFunction JavaCode -> SValue JavaCode Source #
OOMethodSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods method :: Label -> JavaCode (Visibility JavaCode) -> JavaCode (Permanence JavaCode) -> VSType JavaCode -> [MSParameter JavaCode] -> MSBody JavaCode -> SMethod JavaCode Source # getMethod :: SVariable JavaCode -> SMethod JavaCode Source # setMethod :: SVariable JavaCode -> SMethod JavaCode Source # constructor :: [MSParameter JavaCode] -> Initializers JavaCode -> MSBody JavaCode -> SMethod JavaCode Source # inOutMethod :: Label -> JavaCode (Visibility JavaCode) -> JavaCode (Permanence JavaCode) -> InOutFunc JavaCode Source # docInOutMethod :: Label -> JavaCode (Visibility JavaCode) -> JavaCode (Permanence JavaCode) -> DocInOutFunc JavaCode Source #
OOProg JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
OOTypeSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods obj :: ClassName -> VSType JavaCode Source #
OOValueExpression JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods selfFuncAppMixedArgs :: MixedCall JavaCode Source # 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 staticVar' :: Bool -> Label -> VSType JavaCode -> SVariable JavaCode Source # self :: SVariable JavaCode Source # classVar :: VSType JavaCode -> SVariable JavaCode -> SVariable JavaCode Source # extClassVar :: VSType JavaCode -> SVariable JavaCode -> SVariable JavaCode Source # objVar :: SVariable JavaCode -> SVariable JavaCode -> SVariable JavaCode Source # objVarSelf :: SVariable JavaCode -> SVariable JavaCode Source #
OOVariableValue JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
ObserverPattern JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods notifyObservers :: VSFunction JavaCode -> VSType JavaCode -> MSStatement JavaCode Source #
PermanenceSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Permanence JavaCode Source # Methods static :: JavaCode (Permanence JavaCode) Source # dynamic :: JavaCode (Permanence JavaCode) Source #
ProgramSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Program JavaCode Source # Methods prog :: Label -> Label -> [SFile JavaCode] -> GSProgram JavaCode Source #
StateVarSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type StateVar JavaCode Source # Methods stateVar :: JavaCode (Visibility JavaCode) -> JavaCode (Permanence JavaCode) -> SVariable JavaCode -> CSStateVar JavaCode Source # stateVarDef :: JavaCode (Visibility JavaCode) -> JavaCode (Permanence JavaCode) -> SVariable JavaCode -> SValue JavaCode -> CSStateVar JavaCode Source # constVar :: JavaCode (Visibility JavaCode) -> SVariable JavaCode -> SValue JavaCode -> CSStateVar JavaCode Source #
StrategyPattern JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods runStrategy :: Label -> [(Label, MSBody JavaCode)] -> Maybe (SValue JavaCode) -> Maybe (SVariable JavaCode) -> MSBlock JavaCode Source #
ClassElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods class' :: JavaCode (Class JavaCode) -> Doc Source #
InternalGetSet JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods getFunc :: SVariable JavaCode -> VSFunction JavaCode Source # setFunc :: VSType JavaCode -> SVariable JavaCode -> SValue JavaCode -> VSFunction JavaCode Source #
ModuleElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods module' :: JavaCode (Module JavaCode) -> Doc Source #
OOMethodTypeSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods construct :: Label -> MSMthdType JavaCode Source #
OORenderMethod JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods intMethod :: Bool -> Label -> JavaCode (Visibility JavaCode) -> JavaCode (Permanence JavaCode) -> MSMthdType JavaCode -> [MSParameter JavaCode] -> MSBody JavaCode -> SMethod JavaCode Source # intFunc :: Bool -> Label -> JavaCode (Visibility JavaCode) -> JavaCode (Permanence JavaCode) -> MSMthdType JavaCode -> [MSParameter JavaCode] -> MSBody JavaCode -> SMethod JavaCode Source # destructor :: [CSStateVar JavaCode] -> SMethod JavaCode Source #
OORenderSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
PermElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods perm :: JavaCode (Permanence JavaCode) -> Doc Source # binding :: JavaCode (Permanence JavaCode) -> Binding Source #
RenderClass JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods intClass :: Label -> JavaCode (Visibility JavaCode) -> JavaCode ParentSpec -> [CSStateVar JavaCode] -> [SMethod JavaCode] -> [SMethod JavaCode] -> SClass JavaCode Source # inherit :: Maybe Label -> JavaCode ParentSpec Source # implements :: [Label] -> JavaCode ParentSpec Source # commentedClass :: CS (JavaCode (BlockComment JavaCode)) -> SClass JavaCode -> SClass JavaCode Source #
RenderFile JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods top :: JavaCode (Module JavaCode) -> JavaCode (Block JavaCode) Source # bottom :: JavaCode (Block JavaCode) Source # commentedMod :: SFile JavaCode -> FS (JavaCode (BlockComment JavaCode)) -> SFile JavaCode Source # fileFromData :: FilePath -> FSModule JavaCode -> SFile JavaCode Source #
RenderMod JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods modFromData :: String -> FS Doc -> FSModule JavaCode Source # updateModuleDoc :: (Doc -> Doc) -> JavaCode (Module JavaCode) -> JavaCode (Module JavaCode) Source #
StateVarElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods stateVar :: JavaCode (StateVar JavaCode) -> Doc 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 #
AssignStatement JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods (&-=) :: SVariable JavaCode -> SValue JavaCode -> MSStatement JavaCode Source # (&+=) :: SVariable JavaCode -> SValue JavaCode -> MSStatement JavaCode Source # (&++) :: SVariable JavaCode -> MSStatement JavaCode Source # (&--) :: SVariable JavaCode -> MSStatement JavaCode Source # assign :: SVariable JavaCode -> SValue JavaCode -> MSStatement JavaCode Source #
BlockSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Block JavaCode Source # Methods block :: [MSStatement JavaCode] -> MSBlock JavaCode Source #
BodySym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Body JavaCode Source # Methods body :: [MSBlock JavaCode] -> MSBody JavaCode Source # addComments :: Label -> MSBody JavaCode -> MSBody 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 #
CommentStatement JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods comment :: Comment -> MSStatement 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 #
ControlStatement JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods break :: MSStatement JavaCode Source # continue :: MSStatement JavaCode Source # returnStmt :: SValue JavaCode -> MSStatement JavaCode Source # throw :: Label -> MSStatement JavaCode Source # ifCond :: [(SValue JavaCode, MSBody JavaCode)] -> MSBody JavaCode -> MSStatement JavaCode Source # switch :: SValue JavaCode -> [(SValue JavaCode, MSBody JavaCode)] -> MSBody JavaCode -> MSStatement JavaCode Source # ifExists :: SValue JavaCode -> MSBody JavaCode -> MSBody JavaCode -> MSStatement JavaCode Source # for :: MSStatement JavaCode -> SValue JavaCode -> MSStatement JavaCode -> MSBody JavaCode -> MSStatement JavaCode Source # forRange :: SVariable JavaCode -> SValue JavaCode -> SValue JavaCode -> SValue JavaCode -> MSBody JavaCode -> MSStatement JavaCode Source # forEach :: SVariable JavaCode -> SValue JavaCode -> MSBody JavaCode -> MSStatement JavaCode Source # while :: SValue JavaCode -> MSBody JavaCode -> MSStatement JavaCode Source # tryCatch :: MSBody JavaCode -> MSBody JavaCode -> MSStatement JavaCode Source # assert :: SValue JavaCode -> SValue JavaCode -> MSStatement JavaCode Source #
DeclStatement JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods varDec :: SVariable JavaCode -> JavaCode (Scope JavaCode) -> MSStatement JavaCode Source # varDecDef :: SVariable JavaCode -> JavaCode (Scope JavaCode) -> SValue JavaCode -> MSStatement JavaCode Source # listDec :: Integer -> SVariable JavaCode -> JavaCode (Scope JavaCode) -> MSStatement JavaCode Source # listDecDef :: SVariable JavaCode -> JavaCode (Scope JavaCode) -> [SValue JavaCode] -> MSStatement JavaCode Source # setDec :: SVariable JavaCode -> JavaCode (Scope JavaCode) -> MSStatement JavaCode Source # setDecDef :: SVariable JavaCode -> JavaCode (Scope JavaCode) -> SValue JavaCode -> MSStatement JavaCode Source # arrayDec :: Integer -> SVariable JavaCode -> JavaCode (Scope JavaCode) -> MSStatement JavaCode Source # arrayDecDef :: SVariable JavaCode -> JavaCode (Scope JavaCode) -> [SValue JavaCode] -> MSStatement JavaCode Source # constDecDef :: SVariable JavaCode -> JavaCode (Scope JavaCode) -> SValue JavaCode -> MSStatement JavaCode Source # funcDecDef :: SVariable JavaCode -> JavaCode (Scope JavaCode) -> [SVariable JavaCode] -> MSBody JavaCode -> MSStatement JavaCode Source #
FuncAppStatement JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods inOutCall :: InOutCall JavaCode Source # extInOutCall :: Library -> InOutCall JavaCode Source #
FunctionSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Function JavaCode Source #
IOStatement JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods print :: SValue JavaCode -> MSStatement JavaCode Source # printLn :: SValue JavaCode -> MSStatement JavaCode Source # printStr :: String -> MSStatement JavaCode Source # printStrLn :: String -> MSStatement JavaCode Source # printFile :: SValue JavaCode -> SValue JavaCode -> MSStatement JavaCode Source # printFileLn :: SValue JavaCode -> SValue JavaCode -> MSStatement JavaCode Source # printFileStr :: SValue JavaCode -> String -> MSStatement JavaCode Source # printFileStrLn :: SValue JavaCode -> String -> MSStatement JavaCode Source # getInput :: SVariable JavaCode -> MSStatement JavaCode Source # discardInput :: MSStatement JavaCode Source # getFileInput :: SValue JavaCode -> SVariable JavaCode -> MSStatement JavaCode Source # discardFileInput :: SValue JavaCode -> MSStatement JavaCode Source # openFileR :: SVariable JavaCode -> SValue JavaCode -> MSStatement JavaCode Source # openFileW :: SVariable JavaCode -> SValue JavaCode -> MSStatement JavaCode Source # openFileA :: SVariable JavaCode -> SValue JavaCode -> MSStatement JavaCode Source # closeFile :: SValue JavaCode -> MSStatement JavaCode Source # getFileInputLine :: SValue JavaCode -> SVariable JavaCode -> MSStatement JavaCode Source # discardFileLine :: SValue JavaCode -> MSStatement JavaCode Source # getFileInputAll :: SValue JavaCode -> SVariable JavaCode -> MSStatement JavaCode Source #
InternalList JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods listSlice' :: Maybe (SValue JavaCode) -> Maybe (SValue JavaCode) -> Maybe (SValue JavaCode) -> SVariable JavaCode -> SValue JavaCode -> MSBlock JavaCode Source #
List JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods intToIndex :: SValue JavaCode -> SValue JavaCode Source # indexToInt :: SValue JavaCode -> SValue JavaCode Source # listSize :: SValue JavaCode -> SValue JavaCode Source # listAdd :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # listAppend :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # listAccess :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # listSet :: SValue JavaCode -> 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 :: VSType JavaCode -> [SValue JavaCode] -> SValue JavaCode Source # litList :: VSType JavaCode -> [SValue JavaCode] -> SValue JavaCode Source # litSet :: VSType JavaCode -> [SValue JavaCode] -> SValue JavaCode Source #
MathConstant JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods pi :: SValue JavaCode Source #
MethodSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Method JavaCode Source # Methods docMain :: MSBody JavaCode -> SMethod JavaCode Source # function :: Label -> JavaCode (Visibility JavaCode) -> VSType JavaCode -> [MSParameter JavaCode] -> MSBody JavaCode -> SMethod JavaCode Source # mainFunction :: MSBody JavaCode -> SMethod JavaCode Source # docFunc :: String -> [String] -> Maybe String -> SMethod JavaCode -> SMethod JavaCode Source # inOutFunc :: Label -> JavaCode (Visibility JavaCode) -> InOutFunc JavaCode Source # docInOutFunc :: Label -> JavaCode (Visibility JavaCode) -> DocInOutFunc 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 Associated Types type Parameter JavaCode Source # Methods param :: SVariable JavaCode -> MSParameter JavaCode Source # pointerParam :: SVariable JavaCode -> MSParameter JavaCode Source #
ScopeSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Scope JavaCode Source # Methods global :: JavaCode (Scope JavaCode) Source # mainFn :: JavaCode (Scope JavaCode) Source # local :: JavaCode (Scope JavaCode) 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 #
SharedProg JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
StatementSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Statement JavaCode Source # Methods valStmt :: SValue JavaCode -> MSStatement JavaCode Source # emptyStmt :: MSStatement JavaCode Source # multi :: [MSStatement JavaCode] -> MSStatement JavaCode Source #
StringStatement JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods stringSplit :: Char -> SVariable JavaCode -> SValue JavaCode -> MSStatement JavaCode Source # stringListVals :: [SVariable JavaCode] -> SValue JavaCode -> MSStatement JavaCode Source # stringListLists :: [SVariable JavaCode] -> SValue JavaCode -> MSStatement JavaCode Source #
ThunkAssign JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods thunkAssign :: SVariable JavaCode -> VSThunk JavaCode -> MSStatement JavaCode Source #
ThunkSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Thunk JavaCode Source #
TypeElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods getType :: JavaCode (Type JavaCode) -> CodeType Source # getTypeString :: JavaCode (Type JavaCode) -> String Source #
TypeSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Type JavaCode Source # Methods bool :: VSType JavaCode Source # int :: VSType JavaCode Source # float :: VSType JavaCode Source # double :: VSType JavaCode Source # char :: VSType JavaCode Source # string :: VSType JavaCode Source # infile :: VSType JavaCode Source # outfile :: VSType JavaCode Source # listType :: VSType JavaCode -> VSType JavaCode Source # setType :: VSType JavaCode -> VSType JavaCode Source # arrayType :: VSType JavaCode -> VSType JavaCode Source # listInnerType :: VSType JavaCode -> VSType JavaCode Source # funcType :: [VSType JavaCode] -> VSType JavaCode -> VSType JavaCode Source # void :: VSType JavaCode 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 :: [SVariable JavaCode] -> SValue JavaCode -> SValue JavaCode Source # notNull :: SValue JavaCode -> SValue JavaCode Source #
ValueSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Value JavaCode Source # Methods valueType :: JavaCode (Value JavaCode) -> JavaCode (Type JavaCode) Source #
VariableElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods variableName :: JavaCode (Variable JavaCode) -> String Source # variableType :: JavaCode (Variable JavaCode) -> JavaCode (Type JavaCode) Source #
VariableSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Variable JavaCode Source # Methods var :: Label -> VSType JavaCode -> SVariable JavaCode Source # constant :: Label -> VSType JavaCode -> SVariable JavaCode Source # extVar :: Library -> Label -> VSType JavaCode -> SVariable JavaCode Source # arrayElem :: Integer -> SVariable JavaCode -> SVariable JavaCode Source #
VariableValue JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods valueOf :: SVariable JavaCode -> SValue JavaCode Source #
VectorDecl JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods vecDec :: Integer -> SVariable JavaCode -> JavaCode (Scope JavaCode) -> MSStatement JavaCode Source # vecDecDef :: SVariable JavaCode -> JavaCode (Scope JavaCode) -> [SValue JavaCode] -> MSStatement JavaCode Source #
VectorExpression JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods vecScale :: SValue JavaCode -> VSThunk JavaCode -> VSThunk JavaCode Source # vecAdd :: VSThunk JavaCode -> VSThunk JavaCode -> VSThunk JavaCode Source # vecIndex :: SValue JavaCode -> VSThunk JavaCode -> SValue JavaCode Source # vecDot :: VSThunk JavaCode -> VSThunk JavaCode -> VSThunk JavaCode Source #
VectorThunk JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods vecThunk :: SVariable JavaCode -> VSThunk JavaCode Source #
VectorType JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods vecType :: VSType JavaCode -> VSType JavaCode Source #
VisibilitySym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Visibility JavaCode Source # Methods private :: JavaCode (Visibility JavaCode) Source # public :: JavaCode (Visibility JavaCode) Source #
BinaryOpSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type BinaryOp JavaCode Source # 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 (BlockComment JavaCode) -> Doc Source #
BlockCommentSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type BlockComment JavaCode Source # Methods blockComment :: [String] -> JavaCode (BlockComment JavaCode) Source # docComment :: State a [String] -> State a (JavaCode (BlockComment JavaCode)) Source #
BlockElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods block :: JavaCode (Block JavaCode) -> Doc Source #
BodyElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods body :: JavaCode (Body JavaCode) -> Doc Source #
CommonRenderSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
FunctionElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods functionType :: JavaCode (Function JavaCode) -> JavaCode (Type JavaCode) Source # function :: JavaCode (Function JavaCode) -> Doc Source #
ImportElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods import' :: JavaCode (Import JavaCode) -> Doc Source #
ImportSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Import JavaCode Source # Methods langImport :: Label -> JavaCode (Import JavaCode) Source # modImport :: Label -> JavaCode (Import JavaCode) Source #
InternalAssignStmt JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods multiAssign :: [SVariable JavaCode] -> [SValue JavaCode] -> MSStatement JavaCode Source #
InternalControlStmt JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods multiReturn :: [SValue JavaCode] -> MSStatement JavaCode Source #
InternalIOStmt JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods printSt :: Bool -> Maybe (SValue JavaCode) -> SValue JavaCode -> SValue JavaCode -> MSStatement JavaCode Source #
InternalListFunc JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods listSizeFunc :: SValue JavaCode -> VSFunction JavaCode Source # listAddFunc :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode -> VSFunction JavaCode Source # listAppendFunc :: SValue JavaCode -> SValue JavaCode -> VSFunction JavaCode Source # listAccessFunc :: VSType JavaCode -> SValue JavaCode -> VSFunction JavaCode Source # listSetFunc :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode -> VSFunction JavaCode Source #
InternalTypeElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods type' :: JavaCode (Type JavaCode) -> Doc Source #
InternalVarElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods variableBind :: JavaCode (Variable JavaCode) -> Binding Source # variable :: JavaCode (Variable JavaCode) -> Doc Source #
MethodElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods method :: JavaCode (Method JavaCode) -> Doc Source #
MethodTypeSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type MethodType JavaCode Source # Methods mType :: VSType JavaCode -> MSMthdType JavaCode Source #
OpElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods uOp :: JavaCode (UnaryOp JavaCode) -> Doc Source # bOp :: JavaCode (BinaryOp JavaCode) -> Doc Source # uOpPrec :: JavaCode (UnaryOp JavaCode) -> Int Source # bOpPrec :: JavaCode (BinaryOp JavaCode) -> Int Source #
ParamElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods parameterName :: JavaCode (Parameter JavaCode) -> Label Source # parameterType :: JavaCode (Parameter JavaCode) -> JavaCode (Type JavaCode) Source # parameter :: JavaCode (Parameter JavaCode) -> Doc Source #
RenderBlock JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods multiBlock :: [MSBlock JavaCode] -> MSBlock JavaCode Source #
RenderBody JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods multiBody :: [MSBody JavaCode] -> MSBody JavaCode Source #
RenderFunction JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods funcFromData :: Doc -> VSType JavaCode -> VSFunction JavaCode Source #
RenderMethod JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods commentedFunc :: MS (JavaCode (BlockComment JavaCode)) -> SMethod JavaCode -> SMethod JavaCode Source # mthdFromData :: VisibilityTag -> Doc -> SMethod JavaCode Source #
RenderParam JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods paramFromData :: SVariable JavaCode -> Doc -> MSParameter JavaCode Source #
RenderStatement JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods stmt :: MSStatement JavaCode -> MSStatement JavaCode Source # loopStmt :: MSStatement JavaCode -> MSStatement JavaCode Source # stmtFromData :: Doc -> Terminator -> MSStatement JavaCode Source #
RenderType JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods multiType :: [VSType JavaCode] -> VSType JavaCode Source # typeFromData :: CodeType -> String -> Doc -> VSType JavaCode 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 :: VSType JavaCode -> SValue JavaCode -> SValue JavaCode Source # call :: Maybe Library -> Maybe Doc -> MixedCall JavaCode Source # valFromData :: Maybe Int -> Maybe Integer -> VSType JavaCode -> Doc -> SValue JavaCode Source #
RenderVariable JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods varFromData :: Binding -> String -> VSType JavaCode -> Doc -> SVariable JavaCode Source #
RenderVisibility JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods visibilityFromData :: VisibilityTag -> Doc -> JavaCode (Visibility JavaCode) Source #
ScopeElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods scopeData :: JavaCode (Scope JavaCode) -> ScopeData Source #
StatementElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods statement :: JavaCode (Statement JavaCode) -> Doc Source # statementTerm :: JavaCode (Statement JavaCode) -> Terminator Source #
UnaryOpSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type UnaryOp JavaCode Source # 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 JavaCode) -> Maybe Int Source # valueInt :: JavaCode (Value JavaCode) -> Maybe Integer Source # value :: JavaCode (Value JavaCode) -> Doc Source #
VisibilityElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods visibility :: JavaCode (Visibility JavaCode) -> Doc Source #
type Class JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Class JavaCode = Doc
type File JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type File JavaCode = FileData
type Module JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Module JavaCode = ModData
type Permanence JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Permanence JavaCode = Doc
type Program JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Program JavaCode = ProgData
type StateVar JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type StateVar JavaCode = Doc
type Block JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Block JavaCode = Doc
type Body JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Body JavaCode = Doc
type Function JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Function JavaCode = FuncData
type Method JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Method JavaCode = MethodData
type Parameter JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Parameter JavaCode = ParamData
type Scope JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Scope JavaCode = ScopeData
type Statement JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Statement JavaCode = (Doc, Terminator)
type Thunk JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Thunk JavaCode = CommonThunk VS
type Type JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Type JavaCode = TypeData
type Value JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Value JavaCode = ValData
type Variable JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Variable JavaCode = VarData
type Visibility JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Visibility JavaCode = Doc
type BinaryOp JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type BinaryOp JavaCode = OpData
type BlockComment JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type BlockComment JavaCode = Doc
type Import JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type Import JavaCode = Doc
type MethodType JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type MethodType JavaCode = TypeData
type UnaryOp JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer type UnaryOp JavaCode = OpData

jName :: String Source #

jVersion :: String Source #