TypeDeclarationResolver

Instance Constructors

new TypeDeclarationResolver(enhancedTypes: EnhancedTypes)

Type Members

case class ScopedTypedef(typedef: Typedef, program: ProgramSource, scope: Map[String, TypeDeclaration]) extends Product with Serializable

Helper class to hold a type declaration and all the parts necessary for it to be properly scoped.
Helper class to hold a type declaration and all the parts necessary for it to be properly scoped.
typedef
- a type declaration
scope
- the scope as seen from the program it appears in

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def debugScopedTypedef(unresolvedTypedef: ScopedTypedef): String
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def findUnresolvedTypedefs(programs: Seq[ProgramSource], decls: Map[ProgramSource, Map[String, TypeDeclaration]]): Seq[ScopedTypedef]

Given a set of programs and the currently resolved type declarations, finds any typedefs that are yet to be resolved and properly scopes them.
Given a set of programs and the currently resolved type declarations, finds any typedefs that are yet to be resolved and properly scopes them.
programs
- set of programs for which to resolve typedef declarations
decls
- a map of already-resolved type declarations, keyed first by program name and then by type alias
def firstPassResolveTypeDeclarations(program: ProgramSource): Map[ProgramSource, Map[String, TypeDeclaration]]

Takes a program and resolves the "first pass" TypeDeclarations.
Takes a program and resolves the "first pass" TypeDeclarations. That is, the easy ones.
Resolves types declared as enums, structs, unions, and exceptions. Typedefs are left for the recursive phase, because they can reference types across source boundaries.
Types declared as services are not resolved, because they cannot be referenced in Thrift files.
program
- program for which to resolve type declarations
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def makeAnnotations(annotations: Seq[Annotation]): Annotations
def mergeMaps[A, B, C](x: Map[A, Map[B, C]], y: Map[A, Map[B, C]]): Map[A, Map[B, C]]

Helper method to merge two nested maps.
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def recursiveResolveTypeDeclarations(programs: Seq[ProgramSource], decls: Map[ProgramSource, Map[String, TypeDeclaration]]): Map[ProgramSource, Map[String, TypeDeclaration]]

Takes a set of programs and recursively resolves all the types declared as typedefs.
Takes a set of programs and recursively resolves all the types declared as typedefs.
These declarations can reference types across source boundaries, so we must keep track of all included program sources and all the type declarations seen so far in order to successfully resolve.
For each pass, the set of type declarations which have not yet been resolved is found. If the set is empty, the recursion is done. If the set is non-empty, an attempt is made to resolve those type declarations. If any progress is made, the recursion continues. If no progress is made, the recursion terminates with an exception.
programs
- set of programs for which to resolve typedef declarations
decls
- a map of already-resolved type declarations, keyed first by program name and then by type alias

Annotations
@tailrec()
def resolveAdditional(scopedTypedefs: Seq[ScopedTypedef]): Map[String, TypeDeclaration]

Given a set of scoped type declarations, attempts to resolve them.
Given a set of scoped type declarations, attempts to resolve them. Returns a map of successfully resolved type declarations.
May not resolve all the given type declarations.
scopedTypedefs
- set of scoped type declarations to resolve
def resolveAllTypeDeclarations(programs: Seq[ProgramSource]): Map[ProgramSource, Map[String, TypeDeclaration]]

Takes a set of programs and resolves all its type declarations.
Takes a set of programs and resolves all its type declarations.
This is accomplished in a series of passes. The first pass resolves all type declarations which cannot reference other types (enum, struct, union exception). Subsequent passes attempt to resolve type declarations that can reference other types (typedefs).
programs
- set of programs for which to resolve type declarations
def seqToMapBy[T, K, V](xs: Seq[T])(f: (T) ⇒ (K, V)): Map[K, V]
def seqToMapByKey[T, K](xs: Seq[T])(f: (T) ⇒ K): Map[K, T]
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package runtime

class TypeDeclarationResolver extends AnyRef

Instance Constructors

new TypeDeclarationResolver(enhancedTypes: EnhancedTypes)

Type Members

case class ScopedTypedef(typedef: Typedef, program: ProgramSource, scope: Map[String, TypeDeclaration]) extends Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def debugScopedTypedef(unresolvedTypedef: ScopedTypedef): String

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def findUnresolvedTypedefs(programs: Seq[ProgramSource], decls: Map[ProgramSource, Map[String, TypeDeclaration]]): Seq[ScopedTypedef]

def firstPassResolveTypeDeclarations(program: ProgramSource): Map[ProgramSource, Map[String, TypeDeclaration]]

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def makeAnnotations(annotations: Seq[Annotation]): Annotations

def mergeMaps[A, B, C](x: Map[A, Map[B, C]], y: Map[A, Map[B, C]]): Map[A, Map[B, C]]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def recursiveResolveTypeDeclarations(programs: Seq[ProgramSource], decls: Map[ProgramSource, Map[String, TypeDeclaration]]): Map[ProgramSource, Map[String, TypeDeclaration]]

def resolveAdditional(scopedTypedefs: Seq[ScopedTypedef]): Map[String, TypeDeclaration]

def resolveAllTypeDeclarations(programs: Seq[ProgramSource]): Map[ProgramSource, Map[String, TypeDeclaration]]

def seqToMapBy[T, K, V](xs: Seq[T])(f: (T) ⇒ (K, V)): Map[K, V]

def seqToMapByKey[T, K](xs: Seq[T])(f: (T) ⇒ K): Map[K, T]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped