[silver:compiler:translation:java:core]
Contents of [silver:compiler:translation:java:core]
:
Defined in this grammar:
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/InstanceDcl.sv line 31.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/InstanceDcl.sv line 32.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/InstanceDcl.sv line 33.
(Undocumented.)
aspect default production top::Context ::=
{#aspect_default_production_silver:compiler:definition:type:Context}
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/InstanceDcl.sv line 50.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Project.sv line 15.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Project.sv line 16.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Project.sv line 18.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Project.sv line 20.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Project.sv line 22.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Project.sv line 24.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Project.sv line 26.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Project.sv line 28.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Project.sv line 30.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Project.sv line 33.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 8.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 9.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 11.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 12.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 14.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 15.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 16.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 17.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 19.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 20.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 21.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 22.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 24.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 25.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 26.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 27.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 29.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 30.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 32.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 33.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 34.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 35.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 37.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 38.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 40.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 41.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 43.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 44.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 45.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 47.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 49.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 51.
(Undocumented.)
aspect default production top::Context ::=
{#aspect_default_production_silver:compiler:definition:type:Context}
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 113.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 298.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 302.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 305.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 309.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 314.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 319.
(Undocumented.)
function makeChildDecSiteAccessCase
(String ::= env::Env flowEnv::FlowEnv lhsNtName::String prodName::String n::NamedSignatureElement
)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 324.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 333.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 357.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 363.
(Undocumented.)
function makeInhOccursContextAccess
(String ::= bv::[TyVar] sigInhOccurs::[(Type,String)] typeVarArray::String inhArray::String t::Type
)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 369.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 383.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 390.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 393.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 406.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 418.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 431.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 439.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 448.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 11.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 17.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 29.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 30.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 31.
(Undocumented.)
inherited attribute invokeArgs :: Decorated AppExprs with {decorate, decSiteVertexInfo, alwaysDecorated, appProd}
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 32.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 33.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 34.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 41.
(Undocumented.)
aspect default production top::Expr ::=
{#aspect_default_production_silver:compiler:definition:core:Expr}
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 43.
(Undocumented.)
fun argsTranslation
(String ::= e::Decorated AppExprs with {decorate, decSiteVertexInfo, alwaysDecorated, appProd}
)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 255.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 258.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 261.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 467.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 468.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 658.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 660.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Expr.sv line 664.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/ClassDcl.sv line 64.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/DclInfo.sv line 9.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/DclInfo.sv line 15.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/DclInfo.sv line 21.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/DclInfo.sv line 27.
(Undocumented.)
aspect default production top::OccursDclInfo ::=
{#aspect_default_production_silver:compiler:definition:env:OccursDclInfo}
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/DclInfo.sv line 29.
(Undocumented.)
aspect default production top::ValueDclInfo ::=
{#aspect_default_production_silver:compiler:definition:env:ValueDclInfo}
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/DclInfo.sv line 96.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/ProductionBody.sv line 4.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/ProductionBody.sv line 13.
(Undocumented.)
aspect default production top::ProductionStmt ::=
{#aspect_default_production_silver:compiler:definition:core:ProductionStmt}
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/ProductionBody.sv line 50.
(Undocumented.)
aspect default production top::DefLHS ::=
{#aspect_default_production_silver:compiler:definition:core:DefLHS}
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/ProductionBody.sv line 189.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/BlockContext.sv line 13.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/BlockContext.sv line 20.
(Undocumented.)
aspect default production top::BlockContext ::=
{#aspect_default_production_silver:compiler:definition:core:BlockContext}
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/BlockContext.sv line 22.
(Undocumented.)
function terminalTranslation
([Pair<String String>] ::= name::String grammarName::String lexerClasses::[String]
)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/TerminalDcl.sv line 13.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/RootSpec.sv line 75.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Root.sv line 6.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Root.sv line 10.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Root.sv line 14.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Root.sv line 19.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Root.sv line 23.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Root.sv line 27.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Root.sv line 29.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Root.sv line 33.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Root.sv line 37.
(Undocumented.)
aspect default production top::AGDcl ::=
{#aspect_default_production_silver:compiler:definition:core:AGDcl}
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Root.sv line 43.
(Undocumented.)
function generateFunctionClassString
(String ::= env::Env flowEnv::FlowEnv whatGrammar::String whatName::String whatSig::NamedSignature whatResult::String
)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/FunctionDcl.sv line 87.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/FunctionDcl.sv line 262.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Origins.sv line 7.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Origins.sv line 12.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Origins.sv line 16.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Origins.sv line 42.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Origins.sv line 55.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Origins.sv line 58.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Origins.sv line 70.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Origins.sv line 84.
(Undocumented.)
Contained in grammar [silver:compiler:translation:java:core]
. Defined at silver/compiler/translation/java/core/Origins.sv line 95.
(Undocumented.)