analysis/org.polystat.odin.analysis.mutualrec.advanced/Program

Program

object Program
class Object
trait Matchable
class Any
Program.type

Type members

Classlikes

case class MethodName(whereDefined: ObjectName, name: String)
final implicit class MethodNameOps(obj: String)
case class Object(name: ObjectName, parent: Option[ParentInfo], nestedObjs: List[Object], callGraph: CallGraph)
case class ParentInfo(name: ObjectName, callGraph: CallGraph, parent: Option[ParentInfo])
final implicit class ProgramOps(objs: Program)

Types

type Program = List[Object]

Implicits

Implicits

final implicit def MethodNameOps(obj: String): MethodNameOps
final implicit def ProgramOps(objs: Program): ProgramOps