$sel:currentModule:InhCF | Language.Oberon.ConstantFolder |
$sel:designatorValue:SynCFDesignator | Language.Oberon.ConstantFolder |
$sel:env:InhCF | Language.Oberon.ConstantFolder |
$sel:errorModule:Error | Language.Oberon.TypeChecker |
$sel:errorPosition:Error | Language.Oberon.TypeChecker |
$sel:errorType:Error | Language.Oberon.TypeChecker |
$sel:folded:SynCF | Language.Oberon.ConstantFolder |
$sel:folded:SynCFDesignator | Language.Oberon.ConstantFolder |
$sel:folded:SynCFExp | Language.Oberon.ConstantFolder |
$sel:folded:SynCFMod | Language.Oberon.ConstantFolder |
$sel:foldedValue:SynCFExp | Language.Oberon.ConstantFolder |
$sel:getModules:Modules | Language.Oberon.ConstantFolder |
$sel:moduleEnv:SynCFMod | Language.Oberon.ConstantFolder |
$sel:modulesFolded:SynCFRoot | Language.Oberon.ConstantFolder |
$sel:rootEnv:InhCFRoot | Language.Oberon.ConstantFolder |
AccessMode | Language.Oberon.AST |
actualParameters | Language.Oberon.Grammar |
Add | Language.Oberon.AST |
add | Language.Oberon.Abstract |
addOperator | Language.Oberon.Grammar |
adjustPositions | Language.Oberon.Reserializer |
AmbiguousDeclaration | Language.Oberon.Resolver |
AmbiguousDesignator | Language.Oberon.Resolver |
AmbiguousExpression | Language.Oberon.Resolver |
AmbiguousParses | Language.Oberon.Resolver |
AmbiguousRecord | Language.Oberon.Resolver |
AmbiguousStatement | Language.Oberon.Resolver |
And | Language.Oberon.AST |
and | Language.Oberon.Abstract |
anyWhitespace | Language.Oberon.ConstantFolder |
ArgumentCountMismatch | Language.Oberon.TypeChecker |
ArrayType | Language.Oberon.AST |
arrayType | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
Assignment | Language.Oberon.AST |
assignment | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
BaseType | Language.Oberon.Abstract |
baseType | Language.Oberon.Grammar |
Block | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
3 (Data Constructor) | Language.Oberon.AST |
block | Language.Oberon.Abstract |
Boolean | Language.Oberon.AST |
Builtin | Language.Oberon.AST |
builtin | Language.Oberon.Abstract |
Case | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
3 (Data Constructor) | Language.Oberon.AST |
caseAlternative | Language.Oberon.Abstract |
caseLabelList | Language.Oberon.Grammar |
CaseLabels | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
caseLabels | Language.Oberon.Grammar |
CaseStatement | Language.Oberon.AST |
caseStatement | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
case_prod | Language.Oberon.Grammar |
CharCode | Language.Oberon.AST |
charCode | Language.Oberon.Abstract |
charConstant | Language.Oberon.Grammar |
checkModules | Language.Oberon.TypeChecker |
checkTypes | Language.Oberon |
ClashingImports | Language.Oberon.Resolver |
coDeclaration | Language.Oberon.Abstract |
coDesignator | Language.Oberon.Abstract |
coExpression | Language.Oberon.Abstract |
Comment | Language.Oberon.Grammar |
ConditionalBranch | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
3 (Data Constructor) | Language.Oberon.AST |
conditionalBranch | Language.Oberon.Abstract |
ConstantDeclaration | Language.Oberon.AST |
constantDeclaration | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
ConstantFold | |
1 (Type/Class) | Language.Oberon.ConstantFolder |
2 (Data Constructor) | Language.Oberon.ConstantFolder |
ConstExpression | Language.Oberon.Abstract |
constExpression | Language.Oberon.Grammar |
coStatement | Language.Oberon.Abstract |
coType | Language.Oberon.Abstract |
coValue | Language.Oberon.Abstract |
CoWirthy | Language.Oberon.Abstract |
Declaration | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
declarationSequence | Language.Oberon.Grammar |
Delimiter | Language.Oberon.Grammar |
Dereference | Language.Oberon.AST |
dereference | Language.Oberon.Abstract |
Designator | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
designator | Language.Oberon.Grammar |
digit | Language.Oberon.Grammar |
Divide | Language.Oberon.AST |
divide | Language.Oberon.Abstract |
doubleSize | Language.Oberon.ConstantFolder |
Element | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
3 (Data Constructor) | Language.Oberon.AST |
element | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
EmptyStatement | Language.Oberon.AST |
emptyStatement | Language.Oberon.Abstract |
Environment | Language.Oberon.ConstantFolder |
Equal | Language.Oberon.Abstract, Language.Oberon.AST |
Error | |
1 (Type/Class) | Language.Oberon.Resolver |
2 (Type/Class) | Language.Oberon.TypeChecker |
3 (Data Constructor) | Language.Oberon.TypeChecker |
errorMessage | Language.Oberon.TypeChecker |
ErrorType | Language.Oberon.TypeChecker |
Exit | Language.Oberon.AST |
exitStatement | Language.Oberon.Abstract |
expList | Language.Oberon.Grammar |
Exported | Language.Oberon.AST |
exported | Language.Oberon.Abstract |
Expression | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
expression | Language.Oberon.Grammar |
ExtraDimensionalIndex | Language.Oberon.TypeChecker |
factor | Language.Oberon.Grammar |
false | Language.Oberon.Abstract |
Field | Language.Oberon.AST |
field | Language.Oberon.Abstract |
FieldList | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
3 (Data Constructor) | Language.Oberon.AST |
fieldList | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
fieldListSequence | Language.Oberon.Grammar |
floatSize | Language.Oberon.ConstantFolder |
foldBinaryArithmetic | Language.Oberon.ConstantFolder |
foldBinaryBoolean | Language.Oberon.ConstantFolder |
foldBinaryFractional | Language.Oberon.ConstantFolder |
foldBinaryInteger | Language.Oberon.ConstantFolder |
foldConstants | |
1 (Function) | Language.Oberon.ConstantFolder |
2 (Function) | Language.Oberon |
folded' | Language.Oberon.ConstantFolder |
foldedExp | Language.Oberon.ConstantFolder |
foldedExp' | Language.Oberon.ConstantFolder |
foldedMod | Language.Oberon.ConstantFolder |
For | Language.Oberon.AST |
FormalParameters | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
3 (Data Constructor) | Language.Oberon.AST |
formalParameters | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
formalType | Language.Oberon.Grammar |
forStatement | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
ForwardDeclaration | Language.Oberon.AST |
forwardDeclaration | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
FPSection | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
3 (Data Constructor) | Language.Oberon.AST |
fPSection | Language.Oberon.Grammar |
fpSection | Language.Oberon.Abstract |
FunctionCall | Language.Oberon.AST |
functionCall | Language.Oberon.Abstract |
getIdentDefName | Language.Oberon.Abstract |
getNonQualIdentName | Language.Oberon.Abstract |
getProcedureName | Language.Oberon.Abstract |
getQualIdentNames | Language.Oberon.Abstract |
Greater | Language.Oberon.Abstract, Language.Oberon.AST |
GreaterOrEqual | Language.Oberon.Abstract, Language.Oberon.AST |
hexDigit | Language.Oberon.Grammar |
Ident | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
ident | Language.Oberon.Grammar |
IdentDef | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
3 (Data Constructor) | Language.Oberon.AST |
identDef | Language.Oberon.Abstract |
identdef | Language.Oberon.Grammar |
IdentList | Language.Oberon.Abstract |
identList | Language.Oberon.Grammar |
If | Language.Oberon.AST |
ifStatement | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
Import | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
importList | Language.Oberon.Grammar |
import_prod | Language.Oberon.Grammar |
In | Language.Oberon.Abstract, Language.Oberon.AST |
IncomparableTypes | Language.Oberon.TypeChecker |
IncompatibleTypes | Language.Oberon.TypeChecker |
Index | Language.Oberon.AST |
index | Language.Oberon.Abstract |
InhCF | |
1 (Type/Class) | Language.Oberon.ConstantFolder |
2 (Data Constructor) | Language.Oberon.ConstantFolder |
InhCFRoot | |
1 (Type/Class) | Language.Oberon.ConstantFolder |
2 (Data Constructor) | Language.Oberon.ConstantFolder |
int32Size | Language.Oberon.ConstantFolder |
Integer | Language.Oberon.AST |
integer | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
IntegerDivide | Language.Oberon.AST |
integerDivide | Language.Oberon.Abstract |
intSize | Language.Oberon.ConstantFolder |
InvalidExpression | Language.Oberon.Resolver |
InvalidFunctionParameters | Language.Oberon.Resolver |
InvalidRecord | Language.Oberon.Resolver |
InvalidStatement | Language.Oberon.Resolver |
is | Language.Oberon.Abstract |
IsA | Language.Oberon.AST |
isNamedVar | Language.Oberon.AST |
just3 | Language.Oberon.Abstract |
Keyword | Language.Oberon.Grammar |
LabelRange | Language.Oberon.AST |
labelRange | Language.Oberon.Abstract |
Language | |
1 (Type/Class) | Language.Oberon.AST |
2 (Data Constructor) | Language.Oberon.AST |
LanguageVersion | Language.Oberon |
lastWhitespace | Language.Oberon.ConstantFolder |
length | Language.Oberon.Grammar |
Less | Language.Oberon.Abstract, Language.Oberon.AST |
LessOrEqual | Language.Oberon.Abstract, Language.Oberon.AST |
letter | Language.Oberon.Grammar |
Lexeme | Language.Oberon.Grammar |
lexemeText | Language.Oberon.Grammar |
lexemeType | Language.Oberon.Grammar |
Literal | Language.Oberon.AST |
literal | Language.Oberon.Abstract |
literalSynthesis | Language.Oberon.ConstantFolder |
Loop | Language.Oberon.AST |
loopStatement | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
maxInt32 | Language.Oberon.ConstantFolder |
maxInteger | Language.Oberon.ConstantFolder |
maxReal | Language.Oberon.ConstantFolder |
maxSet | Language.Oberon.ConstantFolder |
Maybe3 | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Data Constructor) | Language.Oberon.Abstract |
maybe3 | Language.Oberon.Abstract |
minInt32 | Language.Oberon.ConstantFolder |
minInteger | Language.Oberon.ConstantFolder |
minReal | Language.Oberon.ConstantFolder |
minSet | Language.Oberon.ConstantFolder |
Module | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
3 (Data Constructor) | Language.Oberon.AST |
moduleImport | Language.Oberon.Abstract |
Modules | |
1 (Type/Class) | Language.Oberon.ConstantFolder |
2 (Data Constructor) | Language.Oberon.ConstantFolder |
moduleUnit | Language.Oberon.Abstract |
module_prod | Language.Oberon.Grammar |
Modulo | Language.Oberon.AST |
modulo | Language.Oberon.Abstract |
mulOperator | Language.Oberon.Grammar |
Multiply | Language.Oberon.AST |
multiply | Language.Oberon.Abstract |
Nameable | Language.Oberon.Abstract |
Negative | Language.Oberon.AST |
negative | Language.Oberon.Abstract |
Nil | Language.Oberon.AST |
nil | Language.Oberon.Abstract |
NodeWrap | |
1 (Type/Class) | Language.Oberon.Grammar |
2 (Type/Class) | Language.Oberon.Resolver, Language.Oberon |
NonArrayType | Language.Oberon.TypeChecker |
NonBooleanType | Language.Oberon.TypeChecker |
NonFunctionType | Language.Oberon.TypeChecker |
NonIntegerType | Language.Oberon.TypeChecker |
NonNumericType | Language.Oberon.TypeChecker |
NonPointerType | Language.Oberon.TypeChecker |
NonProcedureType | Language.Oberon.TypeChecker |
NonQualIdent | Language.Oberon.AST |
nonQualIdent | Language.Oberon.Abstract |
NonRecordType | Language.Oberon.TypeChecker |
Not | Language.Oberon.AST |
not | Language.Oberon.Abstract |
NotARecord | Language.Oberon.Resolver |
NotAType | Language.Oberon.Resolver |
NotAValue | Language.Oberon.Resolver |
nothing3 | Language.Oberon.Abstract |
number | Language.Oberon.Grammar |
Oberon | Language.Oberon.Abstract |
Oberon1 | Language.Oberon |
Oberon2 | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Data Constructor) | Language.Oberon |
oberon2DefinitionGrammar | Language.Oberon.Grammar |
oberon2Grammar | Language.Oberon.Grammar |
oberonDefinitionGrammar | Language.Oberon.Grammar |
OberonGrammar | |
1 (Type/Class) | Language.Oberon.Grammar |
2 (Data Constructor) | Language.Oberon.Grammar |
oberonGrammar | Language.Oberon.Grammar |
OpenArrayVariable | Language.Oberon.TypeChecker |
Operator | Language.Oberon.Grammar |
Options | |
1 (Type/Class) | Language.Oberon |
2 (Data Constructor) | Language.Oberon |
Or | Language.Oberon.AST |
or | Language.Oberon.Abstract |
Other | Language.Oberon.Grammar |
parseAndResolveModule | Language.Oberon |
parseAndResolveModuleFile | Language.Oberon |
ParsedLexemes | Language.Oberon.Grammar |
parseModule | Language.Oberon |
Parser | Language.Oberon.Grammar |
Placed | |
1 (Type/Class) | Language.Oberon.ConstantFolder |
2 (Type/Class) | Language.Oberon.Resolver, Language.Oberon |
PointerType | Language.Oberon.AST |
pointerType | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
PositionAdjustment | Language.Oberon.Reserializer |
Positive | Language.Oberon.AST |
positive | Language.Oberon.Abstract |
Precedence | |
1 (Type/Class) | Language.Oberon.Pretty |
2 (Data Constructor) | Language.Oberon.Pretty |
Predefined | Language.Oberon.Resolver |
predefined | |
1 (Function) | Language.Oberon.ConstantFolder |
2 (Function) | Language.Oberon.Resolver |
3 (Function) | Language.Oberon.TypeChecker |
predefined2 | |
1 (Function) | Language.Oberon.ConstantFolder |
2 (Function) | Language.Oberon.Resolver |
3 (Function) | Language.Oberon.TypeChecker |
PrivateOnly | Language.Oberon.AST |
procedureBody | Language.Oberon.Grammar |
ProcedureCall | Language.Oberon.AST |
procedureCall | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
ProcedureDeclaration | Language.Oberon.AST |
procedureDeclaration | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
ProcedureHeading | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
3 (Data Constructor) | Language.Oberon.AST |
procedureHeading | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
ProcedureType | Language.Oberon.AST |
procedureType | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
QualIdent | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
3 (Data Constructor) | Language.Oberon.AST |
qualIdent | Language.Oberon.Abstract |
qualident | Language.Oberon.Grammar |
Range | Language.Oberon.AST |
range | Language.Oberon.Abstract |
Read | Language.Oberon.AST |
read | Language.Oberon.Abstract |
ReadOnly | Language.Oberon.AST |
readOnly | Language.Oberon.Abstract |
Real | Language.Oberon.AST |
real | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
RecordType | Language.Oberon.AST |
recordType | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
Relation | Language.Oberon.AST |
relation | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
RelOp | Language.Oberon.Abstract, Language.Oberon.AST |
Repeat | Language.Oberon.AST |
repeatStatement | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
reserialize | Language.Oberon.Reserializer |
resolveModule | Language.Oberon.Resolver |
resolveModules | Language.Oberon.Resolver |
resolvePosition | Language.Oberon.Resolver |
resolvePositions | Language.Oberon.Resolver |
Return | Language.Oberon.AST |
returnStatement | Language.Oberon.Abstract |
ReturnType | Language.Oberon.Abstract |
scaleFactor | Language.Oberon.Grammar |
Sem | Language.Oberon.ConstantFolder |
Serialization | Language.Oberon.Reserializer |
Set | Language.Oberon.AST |
set | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
simpleExpression | Language.Oberon.Grammar |
SingleLabel | Language.Oberon.AST |
singleLabel | Language.Oberon.Abstract |
sourceLength | Language.Oberon.Reserializer |
Statement | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
statement | Language.Oberon.Grammar |
StatementSequence | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
3 (Data Constructor) | Language.Oberon.AST |
statementSequence | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
String | Language.Oberon.AST |
string | Language.Oberon.Abstract |
string_prod | Language.Oberon.Grammar |
Subtract | Language.Oberon.AST |
subtract | Language.Oberon.Abstract |
SynCF | |
1 (Type/Class) | Language.Oberon.ConstantFolder |
2 (Data Constructor) | Language.Oberon.ConstantFolder |
SynCF' | Language.Oberon.ConstantFolder |
SynCFDesignator | |
1 (Type/Class) | Language.Oberon.ConstantFolder |
2 (Data Constructor) | Language.Oberon.ConstantFolder |
SynCFExp | |
1 (Type/Class) | Language.Oberon.ConstantFolder |
2 (Data Constructor) | Language.Oberon.ConstantFolder |
SynCFMod | |
1 (Type/Class) | Language.Oberon.ConstantFolder |
2 (Data Constructor) | Language.Oberon.ConstantFolder |
SynCFMod' | Language.Oberon.ConstantFolder |
SynCFRoot | |
1 (Type/Class) | Language.Oberon.ConstantFolder |
2 (Data Constructor) | Language.Oberon.ConstantFolder |
TargetClass | Language.Oberon.Abstract |
term | Language.Oberon.Grammar |
Token | Language.Oberon.Grammar |
TokenType | Language.Oberon.Grammar |
TooSmallArrayType | Language.Oberon.TypeChecker |
Trailing | Language.Oberon.Grammar |
true | Language.Oberon.Abstract |
Type | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
TypeBoundHeading | Language.Oberon.AST |
typeBoundHeading | Language.Oberon.Abstract |
TypeDeclaration | Language.Oberon.AST |
typeDeclaration | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
TypeGuard | Language.Oberon.AST |
typeGuard | Language.Oberon.Abstract |
TypeMismatch | Language.Oberon.TypeChecker |
TypeReference | Language.Oberon.AST |
typeReference | Language.Oberon.Abstract |
type_prod | Language.Oberon.Grammar |
Unequal | Language.Oberon.Abstract, Language.Oberon.AST |
UnequalTypes | Language.Oberon.TypeChecker |
unguardedDesignator | Language.Oberon.Grammar |
UnknownField | Language.Oberon.TypeChecker |
UnknownImport | Language.Oberon.Resolver |
UnknownLocal | Language.Oberon.Resolver |
UnknownModule | Language.Oberon.Resolver |
UnknownName | Language.Oberon.TypeChecker |
UnparseableModule | Language.Oberon.Resolver |
UnrealType | Language.Oberon.TypeChecker |
Value | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
Variable | Language.Oberon.AST |
variable | Language.Oberon.Abstract |
VariableDeclaration | Language.Oberon.AST |
variableDeclaration | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
variantWithStatement | Language.Oberon.Abstract |
version | Language.Oberon |
While | Language.Oberon.AST |
whileStatement | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |
WhiteSpace | Language.Oberon.Grammar |
Wirthy | Language.Oberon.Abstract |
WirthySubsetOf | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Data Constructor) | Language.Oberon.Abstract |
With | Language.Oberon.AST |
WithAlternative | |
1 (Type/Class) | Language.Oberon.Abstract |
2 (Type/Class) | Language.Oberon.AST |
3 (Data Constructor) | Language.Oberon.AST |
withAlternative | Language.Oberon.Abstract |
withStatement | |
1 (Function) | Language.Oberon.Abstract |
2 (Function) | Language.Oberon.Grammar |