Minnesota Extensible Language Tools Group

[silver:compiler:translation:java:core]

Contents of [silver:compiler:translation:java:core]:

Defined in this grammar:

synthesized attribute contextMemberDeclTrans :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/InstanceDcl.sv line 31.

(Undocumented.)

synthesized attribute contextParamTrans :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/InstanceDcl.sv line 32.

(Undocumented.)

synthesized attribute contextInitTrans :: String

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.)

fun makeName   (String ::= str::String )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Project.sv line 15.

(Undocumented.)

fun makeIdName   (String ::= str::String )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Project.sv line 16.

(Undocumented.)

fun makeProdName   (String ::= s::String )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Project.sv line 18.

(Undocumented.)

fun makeNTName   (String ::= s::String )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Project.sv line 20.

(Undocumented.)

fun makeAnnoName   (String ::= s::String )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Project.sv line 22.

(Undocumented.)

fun makeTerminalName   (String ::= s::String )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Project.sv line 24.

(Undocumented.)

fun makeParserName   (String ::= s::String )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Project.sv line 26.

(Undocumented.)

fun makeClassName   (String ::= s::String )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Project.sv line 28.

(Undocumented.)

fun makeInstanceName   (String ::= g::String s::String t::Type )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Project.sv line 30.

(Undocumented.)

function substituteLast   (String ::= r::String s::String str::String )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Project.sv line 33.

(Undocumented.)

synthesized attribute javaSignature :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 8.

(Undocumented.)

synthesized attribute refInvokeTrans :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 9.

(Undocumented.)

synthesized attribute contextSigElems :: [String]

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 11.

(Undocumented.)

synthesized attribute contextSigElem :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 12.

(Undocumented.)

monoid attribute contextInhOccurs :: [(Type,String)]

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 14.

(Undocumented.)

inherited attribute sigInhOccurs :: [(Type,String)]

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 15.

(Undocumented.)

synthesized attribute inhOccursContextTypes :: [Type]

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 16.

(Undocumented.)

monoid attribute inhOccursIndexDecls :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 17.

(Undocumented.)

monoid attribute typeChildren :: [(Type,String)]

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 19.

(Undocumented.)

inherited attribute typeChildrenIn :: [(Type,String)]

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 20.

(Undocumented.)

monoid attribute contextRuntimeResolve :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 21.

(Undocumented.)

synthesized attribute contextRuntimeResolveFailure :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 22.

(Undocumented.)

synthesized attribute childSigElems :: [String]

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 24.

(Undocumented.)

synthesized attribute annoSigElems :: [String]

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 25.

(Undocumented.)

synthesized attribute childSigElem :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 26.

(Undocumented.)

synthesized attribute annoSigElem :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 27.

(Undocumented.)

synthesized attribute contextRefElems :: [String]

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 29.

(Undocumented.)

synthesized attribute contextRefElem :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 30.

(Undocumented.)

synthesized attribute childRefElems :: [String]

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 32.

(Undocumented.)

synthesized attribute childRefElem :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 33.

(Undocumented.)

synthesized attribute annoRefElems :: [String]

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 34.

(Undocumented.)

synthesized attribute annoRefElem :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 35.

(Undocumented.)

synthesized attribute childTypeVarElems :: [String]

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 37.

(Undocumented.)

synthesized attribute childTypeVarElem :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 38.

(Undocumented.)

synthesized attribute childStaticElem :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 40.

(Undocumented.)

synthesized attribute childStatic :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 41.

(Undocumented.)

synthesized attribute childDeclElem :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 43.

(Undocumented.)

synthesized attribute annoDeclElem :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 44.

(Undocumented.)

synthesized attribute childDecls :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 45.

(Undocumented.)

synthesized attribute annoNameElem :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 47.

(Undocumented.)

synthesized attribute annoAccessorElem :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 49.

(Undocumented.)

synthesized attribute annoLookupElem :: String

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.)

fun makeIndexDcls   (String ::= i::Integer s::[NamedSignatureElement] )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 298.

(Undocumented.)

fun unpackChildren   ([String] ::= i::Integer ns::[NamedSignatureElement] )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 302.

(Undocumented.)

fun unpackAnnotations   ([String] ::= i::Integer ns::[NamedSignatureElement] )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 305.

(Undocumented.)

function makeChildAccessCase   (String ::= n::NamedSignatureElement )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 309.

(Undocumented.)

function makeChildAccessCaseLazy   (String ::= n::NamedSignatureElement )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 314.

(Undocumented.)

function makeChildDecorableCase   (String ::= env::Env n::NamedSignatureElement )

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.)

fun refAccessTranslation   (String ::= env::Env flowEnv::FlowEnv lhsNtName::String v::VertexType )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 333.

(Undocumented.)

function makeAnnoAssign   (String ::= n::NamedSignatureElement )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 357.

(Undocumented.)

function makeChildAssign   (String ::= n::NamedSignatureElement )

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.)

fun makeTyVarDecls   (String ::= indent::Integer vars::[TyVar] )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 383.

(Undocumented.)

fun makeAnnoIndexDcls   (String ::= i::Integer s::[NamedSignatureElement] )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 390.

(Undocumented.)

function makeChildUnify   (String ::= fn::String n::NamedSignatureElement )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 393.

(Undocumented.)

function makeChildReify   (String ::= fn::String numChildren::Integer n::NamedSignatureElement )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 406.

(Undocumented.)

function makeAnnoReify   (String ::= fn::String n::NamedSignatureElement )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 418.

(Undocumented.)

function makeConstructDirectChildren   (String ::= x::NamedSignatureElement )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 431.

(Undocumented.)

function makeConstructDirectAnno   (String ::= x::NamedSignatureElement )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 439.

(Undocumented.)

function typeNameEq   (Boolean ::= t1::Type t2::Type )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/NamedSignature.sv line 448.

(Undocumented.)

synthesized attribute lazyTranslation :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Expr.sv line 11.

(Undocumented.)

monoid attribute initTransDecSites :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Expr.sv line 17.

(Undocumented.)

synthesized attribute invokeTranslation :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Expr.sv line 29.

(Undocumented.)

synthesized attribute invokeLazyTranslation :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Expr.sv line 30.

(Undocumented.)

inherited attribute invokeIsUnique :: Boolean

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.)

inherited attribute invokeNamedArgs :: Decorated AnnoAppExprs

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Expr.sv line 33.

(Undocumented.)

inherited attribute sameProdAsProductionDefinedOn :: Boolean

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Expr.sv line 34.

(Undocumented.)

synthesized attribute generalizedTranslation :: String

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.)

fun namedargsTranslation   (String ::= e::Decorated AnnoAppExprs )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Expr.sv line 258.

(Undocumented.)

fun namedargsTranslationNOReorder   (String ::= e::Decorated AnnoAppExprs )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Expr.sv line 261.

(Undocumented.)

synthesized attribute nameTrans :: [String]

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Expr.sv line 467.

(Undocumented.)

synthesized attribute valueTrans :: [String]

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Expr.sv line 468.

(Undocumented.)

fun wrapThunk   (String ::= exp::String beLazy::Boolean )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Expr.sv line 658.

(Undocumented.)

fun wrapThunkText   (String ::= exp::String ty::String )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Expr.sv line 660.

(Undocumented.)

function wrapLazy   (String ::= e::Decorated Expr )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Expr.sv line 664.

(Undocumented.)

fun makeInstanceMemberAccessorName   (String ::= s::String )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/ClassDcl.sv line 64.

(Undocumented.)

synthesized attribute attrOccursIndexName :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/DclInfo.sv line 9.

(Undocumented.)

synthesized attribute attrOccursInitIndex :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/DclInfo.sv line 15.

(Undocumented.)

synthesized attribute attrGlobalOccursInitIndex :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/DclInfo.sv line 21.

(Undocumented.)

synthesized attribute attrOccursIndex :: String

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.)

synthesized attribute attrName :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/ProductionBody.sv line 4.

(Undocumented.)

synthesized attribute initTransInh :: String

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.)

synthesized attribute className :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/BlockContext.sv line 13.

(Undocumented.)

synthesized attribute prodLocalCountName :: String

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.)

fun makeOthers   (String ::= others::[String] nme::String )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/RootSpec.sv line 75.

(Undocumented.)

monoid attribute genFiles :: [Pair<String String>]

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Root.sv line 6.

(Undocumented.)

monoid attribute genBinaryFiles :: [Pair<String ByteArray>]

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Root.sv line 10.

(Undocumented.)

monoid attribute setupInh :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Root.sv line 14.

(Undocumented.)

monoid attribute initProd :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Root.sv line 19.

(Undocumented.)

monoid attribute initValues :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Root.sv line 23.

(Undocumented.)

monoid attribute postInit :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Root.sv line 27.

(Undocumented.)

synthesized attribute translation :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Root.sv line 29.

(Undocumented.)

monoid attribute initWeaving :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Root.sv line 33.

(Undocumented.)

monoid attribute valueWeaving :: String

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.)

function generateMainClassString   (String ::= whatGrammar::String isIOValReturn::Boolean )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/FunctionDcl.sv line 262.

(Undocumented.)

synthesized attribute contextRef :: String

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Origins.sv line 7.

(Undocumented.)

synthesized attribute contextRefAddingRules :: (String ::= String)

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Origins.sv line 12.

(Undocumented.)

synthesized attribute alwaysConsideredInteresting :: Boolean

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Origins.sv line 16.

(Undocumented.)

function makeOriginContextRef   (String ::= top::Decorated Expr )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Origins.sv line 42.

(Undocumented.)

global newConstructionOriginUsingCtxRef

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Origins.sv line 55.

(Undocumented.)

function makeNewConstructionOrigin   ([String] ::= top::Decorated Expr inInteresting::Boolean )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Origins.sv line 58.

(Undocumented.)

function getSpecialCaseNoOrigins   ([String] ::= )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Origins.sv line 70.

(Undocumented.)

function typeWantsTracking   (Boolean ::= ty::Type conf::Decorated CmdArgs env::Env )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Origins.sv line 84.

(Undocumented.)

function wrapAccessWithOT   (String ::= top::Decorated Expr expr::String )

Contained in grammar [silver:compiler:translation:java:core]. Defined at silver/compiler/translation/java/core/Origins.sv line 95.

(Undocumented.)