drasil-gool-0.1.1.0: A framework for code and document generation for scientific software - GOOL SubPackage
Safe HaskellSafe-Inferred
LanguageHaskell2010

Drasil.GOOL.LanguageRenderer.JavaRenderer

Description

The logic to render Java code is contained in this module

Synopsis

Java Code Configuration -- defines syntax of all Java code

newtype JavaCode a Source #

Constructors

JC 

Fields

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 #

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 #

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 #

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 #

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 #

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 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 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 #