package model
- Alphabetic
- Public
- Protected
Type Members
- trait AbstractType extends MemberTemplateEntity with HigherKinded
An abstract type member of a template.
- trait AliasType extends MemberTemplateEntity with HigherKinded
An type alias of a template.
- trait Annotation extends Entity
An annotation to an entity.
- trait AnnotationClass extends Class
An annotation template.
An annotation template. Any class which extends
scala.annotation.Annotation
- trait BoundedTypeParamConstraint extends TypeParamConstraint
- trait Class extends MemberTemplateEntity
A class template.
- trait CommentFactory extends CommentFactoryBase
The comment parser transforms raw comment strings into
Comment
objects.The comment parser transforms raw comment strings into
Comment
objects. Callparse
to run the parser. Note that the parser is stateless and should only be built once for a given Scaladoc run. - sealed trait Constraint extends AnyRef
A trait that encapsulates a constraint necessary for implicit conversion
- trait Constructor extends NonTemplateMemberEntity
A constructor of a class.
- trait Def extends NonTemplateMemberEntity with HigherKinded
A method (
def
) of a template. - trait DocTemplateEntity extends MemberTemplateEntity
A template (class, trait, object or package) for which documentation is available.
A template (class, trait, object or package) for which documentation is available. Only templates for which a source file is given are documented by Scaladoc.
- trait Entity extends AnyRef
An entity in a Scaladoc universe.
An entity in a Scaladoc universe. Entities are declarations in the program and correspond to symbols in the compiler. Entities model the following Scala concepts:
- classes and traits;
- objects and package;
- constructors;
- methods;
- values, lazy values, and variables;
- abstract type members and type aliases;
- type and value parameters;
- annotations.
- trait EqualTypeParamConstraint extends TypeParamConstraint
- trait HigherKinded extends AnyRef
An entity that is parameterized by types
- trait ImplicitConversion extends AnyRef
A trait that signals the member results from an implicit conversion
- trait ImplicitInScopeConstraint extends Constraint
A constraint involving a type parameter which must be in scope
- trait ImplicitMemberShadowing extends AnyRef
Shadowing captures the information that the member is shadowed by some other members There are two cases of implicitly added member shadowing: 1) shadowing from an original class member (the class already has that member) in this case, it won't be possible to call the member directly, the type checker will fail attempting to adapt the call arguments (or if they fit it will call the original class method) 2) shadowing from other possible implicit conversions () this will result in an ambiguous implicit conversion error
- trait KnownTypeClassConstraint extends TypeClassConstraint
- trait LowerBoundedTypeParamConstraint extends TypeParamConstraint
- trait MemberEntity extends Entity
An entity that is a member of a template.
An entity that is a member of a template. All entities, including templates, are member of another entity except for parameters and annotations. Note that all members of a template are modelled, including those that are inherited and not declared locally.
- trait MemberLookup extends MemberLookupBase
This trait extracts all required information for documentation from compilation units
- trait MemberTemplateEntity extends TemplateEntity with MemberEntity with HigherKinded
An inherited template that was not documented in its original owner - example: in classpath: trait T { class C } -- T (and implicitly C) are not documented in the source: trait U extends T -- C appears in U as a MemberTemplateImpl -- that is, U has a member for it but C doesn't get its own page
- class ModelFactory extends AnyRef
This trait extracts all required information for documentation from compilation units
- trait ModelFactoryImplicitSupport extends AnyRef
This trait finds implicit conversions for a class in the default scope and creates scaladoc entries for each of them.
This trait finds implicit conversions for a class in the default scope and creates scaladoc entries for each of them.
Let's take this as an example:
object Test { class A class B { def foo = 1 } class C extends B { def bar = 2 class D } implicit def conv(a: A) = new C }
Overview: - scaladoc-ing the above classes,
A
will get two more methods: foo and bar, over its default methods - the nested classes (specificallyD
above), abstract types, type aliases and constructor members are not added toA
(see makeMember0 in ModelFactory, last 3 cases) - the members added by implicit conversion are always listed under the implicit conversion, not under the class they actually come from (foo
will be listed as coming from the implicit conversion toC
instead ofB
) - seedefinitionName
in MemberImplInternals: TODO: Give an overview here
- trait ModelFactoryTypeSupport extends AnyRef
This trait extracts all required information for documentation from compilation units
- trait NoDocTemplate extends TemplateEntity
A template (class, trait, object or package) which is referenced in the universe, but for which no further documentation is available.
A template (class, trait, object or package) which is referenced in the universe, but for which no further documentation is available. Only templates for which a source file is given are documented by Scaladoc.
- trait NonTemplateMemberEntity extends MemberEntity
A non-template member (method, value, lazy value, variable, constructor, alias type, and abstract type).
- trait Object extends MemberTemplateEntity
An object template.
- trait Package extends DocTemplateEntity
A package template.
A package template. A package is in the universe if it is declared as a package object, or if it contains at least one template.
- trait ParameterEntity extends AnyRef
A parameter to an entity.
- case class PrivateInInstance() extends Visibility with Product with Serializable
The visibility of
private[this]
members. - case class PrivateInTemplate(owner: Option[TypeEntity]) extends Visibility with Product with Serializable
The visibility of
private[owner]
members.The visibility of
private[owner]
members. An unqualified private members is encoded withowner
equal to the members'sinTemplate
. - case class ProtectedInInstance() extends Visibility with Product with Serializable
The visibility of
protected[this]
members. - case class ProtectedInTemplate(owner: Option[TypeEntity]) extends Visibility with Product with Serializable
The visibility of
protected[owner]
members.The visibility of
protected[owner]
members. An unqualified protected members is encoded withowner
equal toNone
. Note that whilst the member is visible in any template owned byowner
, it is only visible in subclasses of the member'sinTemplate
. - case class Public() extends Visibility with Product with Serializable
The visibility of public members.
- trait RootPackage extends Package
The root package, which contains directly or indirectly all members in the universe.
The root package, which contains directly or indirectly all members in the universe. A universe contains exactly one root package.
- trait TemplateEntity extends Entity
A template, which is either a class, trait, object or package.
A template, which is either a class, trait, object or package. Depending on whether documentation is available or not, the template will be modeled as a [scala.tools.nsc.doc.model.NoDocTemplate] or a [scala.tools.nsc.doc.model.DocTemplateEntity].
- trait Trait extends MemberTemplateEntity
A trait template.
- abstract class TreeEntity extends AnyRef
A fragment of code.
- trait TreeFactory extends AnyRef
The goal of this trait is, using makeTree, to browse a tree to 1- have the String of the complete tree (tree.expression) 2- fill references to create hyperlinks later in html.pageTemplate
The goal of this trait is, using makeTree, to browse a tree to 1- have the String of the complete tree (tree.expression) 2- fill references to create hyperlinks later in html.pageTemplate
It is applied in ModelFactory => makeTree
- trait TypeClassConstraint extends ImplicitInScopeConstraint with TypeParamConstraint
- abstract class TypeEntity extends AnyRef
A type.
A type. Note that types and templates contain the same information only for the simplest types. For example, a type defines how a template's type parameters are instantiated (as in
List[Cow]
), what the template's prefix is (as injohnsFarm.Cow
), and supports compound or structural types. - trait TypeParam extends ParameterEntity with HigherKinded
A type parameter to a class, trait, or method.
- sealed trait TypeParamConstraint extends Constraint
A constraint involving a type parameter
- trait UpperBoundedTypeParamConstraint extends TypeParamConstraint
- trait Val extends NonTemplateMemberEntity
A value (
val
), lazy val (lazy val
) or variable (var
) of a template. - trait ValueArgument extends AnyRef
A value that is passed as an argument to a value parameter.
- trait ValueParam extends ParameterEntity
A value parameter to a constructor or method.
- sealed trait Visibility extends AnyRef
An type that represents visibility of members.
Value Members
- object Entity
- object IndexModelFactory
- object MemberEntity
- object ModelFactory
The Scala compiler and reflection APIs.