analysis/org.polystat.odin.analysis.utils.inlining/LocatorContext

LocatorContext

object LocatorContext
class Object
trait Matchable
class Any

Type members

Types

type Context = Map[String, BigInt]

Value members

Concrete methods

def rebuildContext(ctx: Context, currentDepth: BigInt, objs: Vector[EOBnd[EOExprOnly]], freeAttrs: Vector[LazyName]): Context
def resolveLocator(ctx: Context, name: String, currentDepth: BigInt): EitherNel[String, EOExprOnly]
def setLocators(code: EOProg[EOExprOnly]): EitherNel[String, EOProg[EOExprOnly]]

Concrete fields