From 64ecf7d655559f4468302c1f2f16f14a5d54a129 Mon Sep 17 00:00:00 2001 From: dotty-bot Date: Sun, 9 Apr 2017 15:35:04 +0000 Subject: Update gh-pages site for c82db74c97bec486f3da7cce3128b72711c8cbc3 --- api/dotty/tools/dotc/core/Contexts$/Context.html | 228 +++++++++---------- api/dotty/tools/dotc/core/SymDenotations$.html | 2 +- .../dotc/core/SymDenotations$/ClassDenotation.html | 84 +++++++ .../SymDenotations$/PackageClassDenotation.html | 108 ++++++++- .../tools/dotc/core/Symbols$/ClassSymbol.html | 232 +++++++++++++------ api/dotty/tools/dotc/core/Symbols$/Symbol.html | 250 ++++++++++----------- api/dotty/tools/dotc/core/Types$/Type.html | 76 +++---- 7 files changed, 624 insertions(+), 356 deletions(-) (limited to 'api/dotty/tools/dotc/core') diff --git a/api/dotty/tools/dotc/core/Contexts$/Context.html b/api/dotty/tools/dotc/core/Contexts$/Context.html index 035f7d89d..c0860467d 100644 --- a/api/dotty/tools/dotc/core/Contexts$/Context.html +++ b/api/dotty/tools/dotc/core/Contexts$/Context.html @@ -5550,6 +5550,12 @@ classes (which should be short-lived). ( + + ctx: + + Context + + ) @@ -5580,12 +5586,6 @@ classes (which should be short-lived). ( - - ctx: - - Context - - ) @@ -5599,7 +5599,7 @@ classes (which should be short-lived). - c: + ctx: Context @@ -5616,6 +5616,12 @@ classes (which should be short-lived). ( + + c: + + Context + + ) @@ -5628,12 +5634,6 @@ classes (which should be short-lived). ( - - ctx: - - Context - - ) @@ -16303,9 +16303,9 @@ It has

-
+
- + @@ -16327,12 +16327,9 @@ It has

- tree: + result: - Tree -[ -T -] + SearchResult ) @@ -16347,12 +16344,12 @@ T
-
-

Textual representation of tree

+
+

Textual representation of implicit search result

-
-

Textual representation of tree

+
+

Textual representation of implicit search result

@@ -16369,9 +16366,9 @@ T
-
+
- + [+] @@ -16393,9 +16390,9 @@ T - name: + sym: - Name + Symbol ) @@ -16410,12 +16407,14 @@ T
-
-

The name as a text

+
+

Textual representation, including symbol's kind e.g., "class Foo", "method Bar". +If hasMeaninglessName is true, uses the owner's name to disambiguate i...

-
-

The name as a text

+
+

Textual representation, including symbol's kind e.g., "class Foo", "method Bar". +If hasMeaninglessName is true, uses the owner's name to disambiguate identity.

@@ -16432,9 +16431,9 @@ T
-
+
- + @@ -16456,9 +16455,9 @@ T - tp: + const: - Type + Constant ) @@ -16473,12 +16472,12 @@ T
-
-

Textual representation of type

+
+

Textual representation of constant

-
-

Textual representation of type

+
+

Textual representation of constant

@@ -16495,9 +16494,9 @@ T
-
+
- + @@ -16519,9 +16518,9 @@ T - denot: + sc: - Denotation + Scope ) @@ -16536,12 +16535,12 @@ T
-
-

Textual representation of denotation

+
+

Textual representation of all definitions in a scope using dclText for each

-
-

Textual representation of denotation

+
+

Textual representation of all definitions in a scope using dclText for each

@@ -16558,9 +16557,9 @@ T
-
+
- + @@ -16582,9 +16581,9 @@ T - const: + name: - Constant + Name ) @@ -16599,12 +16598,12 @@ T
-
-

Textual representation of constant

+
+

The name as a text

-
-

Textual representation of constant

+
+

The name as a text

@@ -16621,9 +16620,9 @@ T
-
+
- + @@ -16645,9 +16644,9 @@ T - sc: + tp: - Scope + Type ) @@ -16662,12 +16661,12 @@ T
-
-

Textual representation of all definitions in a scope using dclText for each

+
+

Textual representation of type

-
-

Textual representation of all definitions in a scope using dclText for each

+
+

Textual representation of type

@@ -16684,9 +16683,9 @@ T
-
+
- + @@ -16708,9 +16707,9 @@ T - result: + annot: - ImportInfo + Annotation ) @@ -16725,12 +16724,12 @@ T
-
-

Textual representation of info relating to an import clause

+
+

Textual representation of annotation

-
-

Textual representation of info relating to an import clause

+
+

Textual representation of annotation

@@ -16747,9 +16746,9 @@ T
-
+
- [+] + @@ -16771,9 +16770,12 @@ T - sym: + tree: - Symbol + Tree +[ +T +] ) @@ -16788,14 +16790,12 @@ T
-
-

Textual representation, including symbol's kind e.g., "class Foo", "method Bar". -If hasMeaninglessName is true, uses the owner's name to disambiguate i...

+
+

Textual representation of tree

-
-

Textual representation, including symbol's kind e.g., "class Foo", "method Bar". -If hasMeaninglessName is true, uses the owner's name to disambiguate identity.

+
+

Textual representation of tree

@@ -16812,9 +16812,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
+
- + @@ -16836,9 +16836,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity. - annot: + result: - Annotation + ImportInfo ) @@ -16853,12 +16853,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
-

Textual representation of annotation

+
+

Textual representation of info relating to an import clause

-
-

Textual representation of annotation

+
+

Textual representation of info relating to an import clause

@@ -16875,9 +16875,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
+
- + @@ -16899,9 +16899,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity. - result: + denot: - SearchResult + Denotation ) @@ -16916,12 +16916,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
-

Textual representation of implicit search result

+
+

Textual representation of denotation

-
-

Textual representation of implicit search result

+
+

Textual representation of denotation

@@ -17957,9 +17957,9 @@ if squashing is enabled, phases in same subgroup will be squashed to single phas
-
+
- + @@ -17985,6 +17985,14 @@ if squashing is enabled, phases in same subgroup will be squashed to single phas Long + , + + + + x$1: + + Int + ) @@ -17998,10 +18006,10 @@ if squashing is enabled, phases in same subgroup will be squashed to single phas
-
+
-
+
@@ -18018,9 +18026,9 @@ if squashing is enabled, phases in same subgroup will be squashed to single phas
-
+
- + @@ -18046,14 +18054,6 @@ if squashing is enabled, phases in same subgroup will be squashed to single phas Long - , - - - - x$1: - - Int - ) @@ -18067,10 +18067,10 @@ if squashing is enabled, phases in same subgroup will be squashed to single phas
-
+
-
+
diff --git a/api/dotty/tools/dotc/core/SymDenotations$.html b/api/dotty/tools/dotc/core/SymDenotations$.html index d57c1c53f..2d7534236 100644 --- a/api/dotty/tools/dotc/core/SymDenotations$.html +++ b/api/dotty/tools/dotc/core/SymDenotations$.html @@ -5862,7 +5862,7 @@ module class, followed by copying the relevant fields to the module.

- + final class diff --git a/api/dotty/tools/dotc/core/SymDenotations$/ClassDenotation.html b/api/dotty/tools/dotc/core/SymDenotations$/ClassDenotation.html index ee1a9c1a2..11b868682 100644 --- a/api/dotty/tools/dotc/core/SymDenotations$/ClassDenotation.html +++ b/api/dotty/tools/dotc/core/SymDenotations$/ClassDenotation.html @@ -8879,6 +8879,90 @@ getters and setters are all returned int his list

+
+
+ + + + + + protected + + + def + + + + proceedWithEnter + + + + + + ( + + + + sym: + + Symbol + + , + + + + mscope: + + MutableScope + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
+ +
+
+

Hook to do a pre-enter test. Overridden in PackageDenotation

+ +
+
+

Hook to do a pre-enter test. Overridden in PackageDenotation

+ +
+
+ +
+
diff --git a/api/dotty/tools/dotc/core/SymDenotations$/PackageClassDenotation.html b/api/dotty/tools/dotc/core/SymDenotations$/PackageClassDenotation.html index 35ec8b86e..31b25843b 100644 --- a/api/dotty/tools/dotc/core/SymDenotations$/PackageClassDenotation.html +++ b/api/dotty/tools/dotc/core/SymDenotations$/PackageClassDenotation.html @@ -5434,7 +5434,7 @@ - + final class @@ -5977,7 +5977,7 @@ It overrides ClassDenotation to take account of package objects when looking for
- + [+] @@ -6038,11 +6038,25 @@ It overrides ClassDenotation to take account of package objects when looking for
-

Look first for members in package; if none are found look in package object

+

Looks in both the package object and the package for members. The precise algorithm +is as follows:

+

If this is the scala package look in the package firs... +

+

+

-

Look first for members in package; if none are found look in package object

+

Looks in both the package object and the package for members. The precise algorithm +is as follows:

+

If this is the scala package look in the package first, and if nothing is found +there, look in the package object second. Otherwise, look in the package object +first, and if nothing is found there, in the package second.

+

The reason for the special treatment of the scala package is that if we +complete it too early, we freeze its superclass Any, so that no members can +be entered in it. As a consequence, there should be no entry in the scala package +object that hides a class or object in the scala package of the same name, because +the behavior would then be unintuitive for such members.

@@ -6203,6 +6217,92 @@ Name
+
+
+ + + + + + override + + + def + + + + proceedWithEnter + + + + + + ( + + + + sym: + + Symbol + + , + + + + mscope: + + MutableScope + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
+ +
+
+

If another symbol with the same name is entered, unlink it, +and, if symbol is a package object, invalidate the packageObj cache.

+ +
+
+

If another symbol with the same name is entered, unlink it, +and, if symbol is a package object, invalidate the packageObj cache.

+ +
+
+ +
+
diff --git a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html index 9b87d9b54..8bff63df5 100644 --- a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html @@ -11870,7 +11870,7 @@ of this run.

fs: - FlagConjunction + FlagSet , @@ -11907,12 +11907,12 @@ of this run.

-

Has this denotation all of the flags in fs set, whereas none of the flags +

Has this denotation one of the flags in fs set, whereas none of the flags in butNot are set?

-

Has this denotation all of the flags in fs set, whereas none of the flags +

Has this denotation one of the flags in fs set, whereas none of the flags in butNot are set?

@@ -11930,9 +11930,9 @@ in butNot are set?

-
+
- + @@ -11956,15 +11956,7 @@ in butNot are set?

fs: - FlagSet - - , - - - - butNot: - - FlagSet + FlagConjunction ) @@ -11992,14 +11984,12 @@ in butNot are set?

-
-

Has this denotation one of the flags in fs set, whereas none of the flags -in butNot are set?

+
+

Has this denotation all of the flags in fs set?

-
-

Has this denotation one of the flags in fs set, whereas none of the flags -in butNot are set?

+
+

Has this denotation all of the flags in fs set?

@@ -12016,9 +12006,9 @@ in butNot are set?

-
+
- + @@ -12042,6 +12032,14 @@ in butNot are set?

fs: + FlagConjunction + + , + + + + butNot: + FlagSet @@ -12070,12 +12068,14 @@ in butNot are set?

-
-

Has this denotation one of the flags in fs set?

+
+

Has this denotation all of the flags in fs set, whereas none of the flags +in butNot are set?

-
-

Has this denotation one of the flags in fs set?

+
+

Has this denotation all of the flags in fs set, whereas none of the flags +in butNot are set?

@@ -12118,7 +12118,7 @@ in butNot are set?

fs: - FlagConjunction + FlagSet ) @@ -12147,11 +12147,11 @@ in butNot are set?

-

Has this denotation all of the flags in fs set?

+

Has this denotation one of the flags in fs set?

-

Has this denotation all of the flags in fs set?

+

Has this denotation one of the flags in fs set?

@@ -17312,7 +17312,7 @@ have existing symbols.

that: => - Denotation + SingleDenotation ) @@ -17322,18 +17322,16 @@ have existing symbols.

- : Denotation + : SingleDenotation
-

If this denotation does not exist, fallback to alternative

- +
-

If this denotation does not exist, fallback to alternative

- +
+
+
+ + + + + + + + + def + + + + proceedWithEnter + + + + + + ( + + + + sym: + + Symbol + + , + + + + mscope: + + MutableScope + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +
+ +
+
+

Hook to do a pre-enter test. Overridden in PackageDenotation

+ +
+
+

Hook to do a pre-enter test. Overridden in PackageDenotation

+ +
+
+ +
+
@@ -18453,9 +18537,9 @@ Type
-
+
- + @@ -18481,6 +18565,17 @@ Type PreName + , + + + + argTypes: + + List +[ +Type +] + ) @@ -18507,10 +18602,10 @@ Type
-
+
-
+
@@ -18527,9 +18622,9 @@ Type
-
+
- + @@ -18555,17 +18650,6 @@ Type PreName - , - - - - argTypes: - - List -[ -Type -] - ) @@ -18592,10 +18676,10 @@ Type
-
+
-
+
@@ -21712,9 +21796,9 @@ and at signature NotAMethod.

-
+
- + @@ -21740,6 +21824,14 @@ and at signature NotAMethod.

Long + , + + + + x$1: + + Int + ) @@ -21753,10 +21845,10 @@ and at signature NotAMethod.

-
+
-
+
@@ -21773,9 +21865,9 @@ and at signature NotAMethod.

-
+
- + @@ -21801,14 +21893,6 @@ and at signature NotAMethod.

Long - , - - - - x$1: - - Int - ) @@ -21822,10 +21906,10 @@ and at signature NotAMethod.

-
+
-
+
diff --git a/api/dotty/tools/dotc/core/Symbols$/Symbol.html b/api/dotty/tools/dotc/core/Symbols$/Symbol.html index 1d3eba38e..40368fc3d 100644 --- a/api/dotty/tools/dotc/core/Symbols$/Symbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/Symbol.html @@ -5512,7 +5512,47 @@ - sym: + symbol: + + Symbol + + , + + + + ownerIfExists: + + Symbol + + , + + + + name: + + Name + + , + + + + initFlags: + + FlagSet + + , + + + + initInfo: + + Type + + , + + + + initPrivateWithin: Symbol @@ -5539,18 +5579,18 @@
+ +
Symbol ( - implicit - - ctx: + sym: - Context + Symbol ) @@ -5566,7 +5606,7 @@ - sym: + self: Symbol @@ -5584,47 +5624,7 @@ - symbol: - - Symbol - - , - - - - ownerIfExists: - - Symbol - - , - - - - name: - - Name - - , - - - - initFlags: - - FlagSet - - , - - - - initInfo: - - Type - - , - - - - initPrivateWithin: + sym: Symbol @@ -5633,18 +5633,18 @@
- -
Symbol ( + implicit + - self: + ctx: - Symbol + Context ) @@ -12565,7 +12565,7 @@ of this run.

fs: - FlagConjunction + FlagSet , @@ -12602,12 +12602,12 @@ of this run.

-

Has this denotation all of the flags in fs set, whereas none of the flags +

Has this denotation one of the flags in fs set, whereas none of the flags in butNot are set?

-

Has this denotation all of the flags in fs set, whereas none of the flags +

Has this denotation one of the flags in fs set, whereas none of the flags in butNot are set?

@@ -12625,9 +12625,9 @@ in butNot are set?

-
+
- + @@ -12651,15 +12651,7 @@ in butNot are set?

fs: - FlagSet - - , - - - - butNot: - - FlagSet + FlagConjunction ) @@ -12687,14 +12679,12 @@ in butNot are set?

-
-

Has this denotation one of the flags in fs set, whereas none of the flags -in butNot are set?

+
+

Has this denotation all of the flags in fs set?

-
-

Has this denotation one of the flags in fs set, whereas none of the flags -in butNot are set?

+
+

Has this denotation all of the flags in fs set?

@@ -12711,9 +12701,9 @@ in butNot are set?

-
+
- + @@ -12737,6 +12727,14 @@ in butNot are set?

fs: + FlagConjunction + + , + + + + butNot: + FlagSet @@ -12765,12 +12763,14 @@ in butNot are set?

-
-

Has this denotation one of the flags in fs set?

+
+

Has this denotation all of the flags in fs set, whereas none of the flags +in butNot are set?

-
-

Has this denotation one of the flags in fs set?

+
+

Has this denotation all of the flags in fs set, whereas none of the flags +in butNot are set?

@@ -12813,7 +12813,7 @@ in butNot are set?

fs: - FlagConjunction + FlagSet ) @@ -12842,11 +12842,11 @@ in butNot are set?

-

Has this denotation all of the flags in fs set?

+

Has this denotation one of the flags in fs set?

-

Has this denotation all of the flags in fs set?

+

Has this denotation one of the flags in fs set?

@@ -18791,7 +18791,7 @@ These are called a "flock". Flock members are generated by

that: => - Denotation + SingleDenotation ) @@ -18801,18 +18801,16 @@ These are called a "flock". Flock members are generated by

- : Denotation + : SingleDenotation
-

If this denotation does not exist, fallback to alternative

- +
-

If this denotation does not exist, fallback to alternative

- +
-
+
- + @@ -20347,6 +20347,17 @@ Type PreName + , + + + + argTypes: + + List +[ +Type +] + ) @@ -20373,10 +20384,10 @@ Type
-
+
-
+
@@ -20393,9 +20404,9 @@ Type
-
+
- + @@ -20421,17 +20432,6 @@ Type PreName - , - - - - argTypes: - - List -[ -Type -] - ) @@ -20458,10 +20458,10 @@ Type
-
+
-
+
@@ -24351,9 +24351,9 @@ and at signature NotAMethod.

-
+
- + @@ -24379,6 +24379,14 @@ and at signature NotAMethod.

Long + , + + + + x$1: + + Int + ) @@ -24392,10 +24400,10 @@ and at signature NotAMethod.

-
+
-
+
@@ -24412,9 +24420,9 @@ and at signature NotAMethod.

-
+
- + @@ -24440,14 +24448,6 @@ and at signature NotAMethod.

Long - , - - - - x$1: - - Int - ) @@ -24461,10 +24461,10 @@ and at signature NotAMethod.

-
+
-
+
diff --git a/api/dotty/tools/dotc/core/Types$/Type.html b/api/dotty/tools/dotc/core/Types$/Type.html index a31e6f148..b93bb50c5 100644 --- a/api/dotty/tools/dotc/core/Types$/Type.html +++ b/api/dotty/tools/dotc/core/Types$/Type.html @@ -6258,9 +6258,9 @@ is covariant is irrelevant, so can be ignored.

-
+
- + @@ -6282,15 +6282,7 @@ is covariant is irrelevant, so can be ignored.

- arg1: - - Type - - , - - - - arg2: + arg: Type @@ -6320,10 +6312,10 @@ is covariant is irrelevant, so can be ignored.

-
+
-
+
@@ -6340,9 +6332,9 @@ is covariant is irrelevant, so can be ignored.

-
+
- + @@ -6364,9 +6356,12 @@ is covariant is irrelevant, so can be ignored.

- arg: + args: - Type + List +[ +Type +] ) @@ -6394,11 +6389,17 @@ is covariant is irrelevant, so can be ignored.

-
- +
+

The type representing

+

T[U1, ..., Un]

+

where

+
-
- +
+

The type representing

+

T[U1, ..., Un]

+

where

+
-
+
- + @@ -6438,12 +6439,17 @@ is covariant is irrelevant, so can be ignored.

- args: + arg1: - List -[ -Type -] + Type + + , + + + + arg2: + + Type ) @@ -6471,17 +6477,11 @@ Type
-
-

The type representing

-

T[U1, ..., Un]

-

where

- +
+
-
-

The type representing

-

T[U1, ..., Un]

-

where

- +
+