From 887b63e21b00f867602570c5cbcacb47b46cd5e2 Mon Sep 17 00:00:00 2001 From: dotty-bot Date: Sat, 1 Apr 2017 23:20:41 +0000 Subject: Update gh-pages site for 054a4f98bba5ac06f5cf5dd98403db7e2905f080 --- api/dotty/tools/dotc/core/Contexts$/Context.html | 202 +- .../tools/dotc/core/Flags$/FlagConjunction.html | 48 +- .../tools/dotc/core/Symbols$/ClassSymbol.html | 168 +- api/dotty/tools/dotc/core/Symbols$/Symbol.html | 206 +- api/dotty/tools/dotc/core/Types$/Type.html | 50 +- .../PatternMatcher/Translator/MatchTranslator.html | 46 - .../MatchTranslator/ExtractorCallProd.html | 5826 ------------------ .../ScalacPatternExpanders/alignPatterns$.html | 63 - .../PatternMatcher/Translator/TreeMakers.html | 142 - .../TreeMakers/ProductExtractorTreeMaker$.html | 5693 ----------------- .../TreeMakers/ProductExtractorTreeMaker.html | 6500 -------------------- api/dotty/tools/io/Jar$/WManifest.html | 14 +- 12 files changed, 344 insertions(+), 18614 deletions(-) delete mode 100644 api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallProd.html delete mode 100644 api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ProductExtractorTreeMaker$.html delete mode 100644 api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ProductExtractorTreeMaker.html diff --git a/api/dotty/tools/dotc/core/Contexts$/Context.html b/api/dotty/tools/dotc/core/Contexts$/Context.html index beee46683..8f0c339e0 100644 --- a/api/dotty/tools/dotc/core/Contexts$/Context.html +++ b/api/dotty/tools/dotc/core/Contexts$/Context.html @@ -5525,18 +5525,6 @@ classes (which should be short-lived). -
-
- Context - ( - - - ) -
-
- - -
Context @@ -5562,7 +5550,7 @@ classes (which should be short-lived). - c: + ctx: Context @@ -5610,7 +5598,7 @@ classes (which should be short-lived). - ctx: + c: Context @@ -5620,6 +5608,18 @@ classes (which should be short-lived).
+ +
+
+ Context + ( + + + ) +
+
+ +

@@ -12762,9 +12762,9 @@ Any -
+
- + [+] @@ -12786,9 +12786,9 @@ Any - name: + sym: - Name + Symbol ) @@ -12803,14 +12803,20 @@ Any
-
-

The name, possibley with with namespace suffix if debugNames is set: -/L for local names, /V for other term names, /T for type names

+
+

The name of the given symbol. +If !settings.debug, the original name where +expansions of operators are translated back to operator symbol. +E.g. $eq => =. +I...

-
-

The name, possibley with with namespace suffix if debugNames is set: -/L for local names, /V for other term names, /T for type names

+
+

The name of the given symbol. +If !settings.debug, the original name where +expansions of operators are translated back to operator symbol. +E.g. $eq => =. +If settings.uniqid, adds id.

@@ -12827,9 +12833,9 @@ Any
-
+
- [+] + @@ -12851,9 +12857,9 @@ Any - sym: + name: - Symbol + Name ) @@ -12868,20 +12874,14 @@ Any
-
-

The name of the given symbol. -If !settings.debug, the original name where -expansions of operators are translated back to operator symbol. -E.g. $eq => =. -I...

+
+

The name, possibley with with namespace suffix if debugNames is set: +/L for local names, /V for other term names, /T for type names

-
-

The name of the given symbol. -If !settings.debug, the original name where -expansions of operators are translated back to operator symbol. -E.g. $eq => =. -If settings.uniqid, adds id.

+
+

The name, possibley with with namespace suffix if debugNames is set: +/L for local names, /V for other term names, /T for type names

@@ -16420,9 +16420,9 @@ It has

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

- tree: + name: - Tree -[ -T -] + Name ) @@ -16464,12 +16461,12 @@ T
-
-

Textual representation of tree

+
+

The name as a text

-
-

Textual representation of tree

+
+

The name as a text

@@ -16486,9 +16483,9 @@ T
-
+
- + @@ -16510,9 +16507,9 @@ T - result: + const: - ImportInfo + Constant ) @@ -16527,12 +16524,12 @@ T
-
-

Textual representation of info relating to an import clause

+
+

Textual representation of constant

-
-

Textual representation of info relating to an import clause

+
+

Textual representation of constant

@@ -16549,9 +16546,9 @@ T
-
+
- + [+] @@ -16573,9 +16570,9 @@ T - const: + sym: - Constant + Symbol ) @@ -16590,12 +16587,14 @@ T
-
-

Textual representation of constant

+
+

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 constant

+
+

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

@@ -16612,9 +16611,9 @@ T
-
+
- [+] + @@ -16636,9 +16635,9 @@ T - sym: + result: - Symbol + ImportInfo ) @@ -16653,14 +16652,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 info relating to an import clause

-
-

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 info relating to an import clause

@@ -16677,9 +16674,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
+
- + @@ -16701,9 +16698,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity. - annot: + denot: - Annotation + Denotation ) @@ -16718,12 +16715,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
-

Textual representation of annotation

+
+

Textual representation of denotation

-
-

Textual representation of annotation

+
+

Textual representation of denotation

@@ -16740,9 +16737,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
+
- + @@ -16764,9 +16761,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity. - name: + annot: - Name + Annotation ) @@ -16781,12 +16778,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
-

The name as a text

+
+

Textual representation of annotation

-
-

The name as a text

+
+

Textual representation of annotation

@@ -16803,9 +16800,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
+
- + @@ -16827,9 +16824,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity. - denot: + tree: - Denotation + Tree +[ +T +] ) @@ -16844,12 +16844,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
-

Textual representation of denotation

+
+

Textual representation of tree

-
-

Textual representation of denotation

+
+

Textual representation of tree

diff --git a/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html b/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html index 104fd2d7e..0a7239682 100644 --- a/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html +++ b/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html @@ -6044,9 +6044,9 @@ String
-
+
- + [+] @@ -6072,14 +6072,6 @@ String FlagSet - , - - - - butNot: - - FlagSet - ) @@ -6093,14 +6085,14 @@ String
-
-

Does this flag set have a non-empty intersection with the given flag set, -and at the same time contain none of the flags in the butNot set?

+
+

Does this flag set have a non-empty intersection with the given flag set? +This means that both the kind flags and the carrier bits have non-empty inter...

-
-

Does this flag set have a non-empty intersection with the given flag set, -and at the same time contain none of the flags in the butNot set?

+
+

Does this flag set have a non-empty intersection with the given flag set? +This means that both the kind flags and the carrier bits have non-empty intersection.

@@ -6257,9 +6249,9 @@ Pre: The intersection of the typeflags of both sets must be non-empty.

-
+
- [+] + @@ -6285,6 +6277,14 @@ Pre: The intersection of the typeflags of both sets must be non-empty.

FlagSet + , + + + + butNot: + + FlagSet + ) @@ -6298,14 +6298,14 @@ Pre: The intersection of the typeflags of both sets must be non-empty.

-
-

Does this flag set have a non-empty intersection with the given flag set? -This means that both the kind flags and the carrier bits have non-empty inter...

+
+

Does this flag set have a non-empty intersection with the given flag set, +and at the same time contain none of the flags in the butNot set?

-
-

Does this flag set have a non-empty intersection with the given flag set? -This means that both the kind flags and the carrier bits have non-empty intersection.

+
+

Does this flag set have a non-empty intersection with the given flag set, +and at the same time contain none of the flags in the butNot set?

diff --git a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html index 3cb27c2f4..5e80e097c 100644 --- a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html @@ -11825,9 +11825,9 @@ of this run.

-
+
- + @@ -11853,14 +11853,6 @@ of this run.

FlagSet - , - - - - butNot: - - FlagSet - ) @@ -11887,14 +11879,12 @@ of this run.

-
-

Has this denotation one 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 one 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?

@@ -11911,9 +11901,9 @@ in butNot are set?

-
+
- + @@ -11939,14 +11929,6 @@ in butNot are set?

FlagConjunction - , - - - - butNot: - - FlagSet - ) @@ -11973,14 +11955,12 @@ in butNot are set?

-
-

Has this denotation all 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 all 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?

@@ -11997,9 +11977,9 @@ in butNot are set?

-
+
- + @@ -12023,7 +12003,15 @@ in butNot are set?

fs: - FlagConjunction + FlagSet + + , + + + + butNot: + + FlagSet ) @@ -12051,12 +12039,14 @@ 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?

+
+

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

@@ -12073,9 +12063,9 @@ in butNot are set?

-
+
- + @@ -12099,6 +12089,14 @@ in butNot are set?

fs: + FlagConjunction + + , + + + + butNot: + FlagSet @@ -12127,12 +12125,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?

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

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

- : Denotation + : SingleDenotation
-

If this denotation does not exist, fallback to alternative

- +
-

If this denotation does not exist, fallback to alternative

- +
-
+
- + @@ -19331,17 +19331,6 @@ as seen from subclasses.

- ( - - - - depth: - - Int - - - ) - ( implicit @@ -19365,17 +19354,11 @@ as seen from subclasses.

-
-

The summarized string representation of this showable element. -Recursion depth is limited to some smallish value. Default is -Config.summarizeDepth.

- +
+
-
-

The summarized string representation of this showable element. -Recursion depth is limited to some smallish value. Default is -Config.summarizeDepth.

- +
+
-
+
- + @@ -19411,6 +19394,17 @@ Config.summarizeDepth.

+ ( + + + + depth: + + Int + + + ) + ( implicit @@ -19434,11 +19428,17 @@ Config.summarizeDepth.

-
- +
+

The summarized string representation of this showable element. +Recursion depth is limited to some smallish value. Default is +Config.summarizeDepth.

+
-
- +
+

The summarized string representation of this showable element. +Recursion depth is limited to some smallish value. Default is +Config.summarizeDepth.

+
-
+
- + @@ -12548,14 +12548,6 @@ of this run.

FlagSet - , - - - - butNot: - - FlagSet - ) @@ -12582,14 +12574,12 @@ of this run.

-
-

Has this denotation one 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 one 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?

@@ -12606,9 +12596,9 @@ in butNot are set?

-
+
- + @@ -12634,14 +12624,6 @@ in butNot are set?

FlagConjunction - , - - - - butNot: - - FlagSet - ) @@ -12668,14 +12650,12 @@ in butNot are set?

-
-

Has this denotation all 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 all 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?

@@ -12692,9 +12672,9 @@ in butNot are set?

-
+
- + @@ -12718,7 +12698,15 @@ in butNot are set?

fs: - FlagConjunction + FlagSet + + , + + + + butNot: + + FlagSet ) @@ -12746,12 +12734,14 @@ 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?

+
+

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

@@ -12768,9 +12758,9 @@ in butNot are set?

-
+
- + @@ -12794,6 +12784,14 @@ in butNot are set?

fs: + FlagConjunction + + , + + + + butNot: + FlagSet @@ -12822,12 +12820,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?

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

that: => - Denotation + SingleDenotation ) @@ -18872,18 +18872,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

- +
-
+
- + @@ -21638,17 +21638,6 @@ as seen from subclasses.

- ( - - - - depth: - - Int - - - ) - ( implicit @@ -21672,17 +21661,11 @@ as seen from subclasses.

-
-

The summarized string representation of this showable element. -Recursion depth is limited to some smallish value. Default is -Config.summarizeDepth.

- +
+
-
-

The summarized string representation of this showable element. -Recursion depth is limited to some smallish value. Default is -Config.summarizeDepth.

- +
+
-
+
- + @@ -21718,6 +21701,17 @@ Config.summarizeDepth.

+ ( + + + + depth: + + Int + + + ) + ( implicit @@ -21741,11 +21735,17 @@ Config.summarizeDepth.

-
- +
+

The summarized string representation of this showable element. +Recursion depth is limited to some smallish value. Default is +Config.summarizeDepth.

+
-
- +
+

The summarized string representation of this showable element. +Recursion depth is limited to some smallish value. Default is +Config.summarizeDepth.

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

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

-
- +
+

The type representing

+

T[U1, ..., Un]

+

where

+
-
- +
+

The type representing

+

T[U1, ..., Un]

+

where

+
-
+
- + @@ -6505,12 +6514,9 @@ is covariant is irrelevant, so can be ignored.

- args: + arg: - List -[ -Type -] + Type ) @@ -6538,17 +6544,11 @@ Type
-
-

The type representing

-

T[U1, ..., Un]

-

where

- +
+
-
-

The type representing

-

T[U1, ..., Un]

-

where

- +
+
-
-
- - - - - - - - - class - - - - ExtractorCallProd - - - - - - - - -
- -
-
- -
-
- -
-
- -
-
diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallProd.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallProd.html deleted file mode 100644 index 9a97793b4..000000000 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallProd.html +++ /dev/null @@ -1,5826 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - -
-
- - - -
-
- - - - -
-
- - - - - - - - class - - - ExtractorCallProd - - - -
- - - extends - - ExtractorCall - -
- -
- - - -

- Constructors -

- -
- - -
-
- ExtractorCallProd - ( - - - - aligner: - - PatternAligned - - , - - - - fun: - - Tree - - , - - - - args: - - List -[ -Tree -] - - , - - - - resultType: - - Type - - - ) -
-
- - -
- -

- Members -

- -
- -
-
- - - - - - private - - - val - - - - aligner - - - - - - - - - : PatternAligned - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - val - - - - args - - - - - - - - - : List -[ -Tree -] - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - val - - - - fun - - - - - - - - - : Tree - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - val - - - - resultType - - - - - - - - - : Type - -
- -
-
- -
-
- -
-
- -
- -
-
- [+] - - - - - - - - def - - - - treeMaker - - - - - - ( - - - - binder: - - Symbol - - , - - - - binderKnownNonNull: - - Boolean - - , - - - - pos: - - Position - - , - - - - binderTypeTested: - - Type - - - ) - - - - - - - : TreeMaker - -
- -
-
-

Create the TreeMaker that embodies this extractor call

-

binder has been casted to paramType if necessary -binderKnownNonNull indicates whether the cast im... -

- -
-
-

Create the TreeMaker that embodies this extractor call

-

binder has been casted to paramType if necessary -binderKnownNonNull indicates whether the cast implies binder cannot be null -when binderKnownNonNull is true, ProductExtractorTreeMaker does not do a (redundant) null check on binder

- -
-
- -
- -
-
-
-
- - - - - - - - - - - - diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/alignPatterns$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/alignPatterns$.html index 3e972c15a..954bea7e9 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/alignPatterns$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/alignPatterns$.html @@ -5655,69 +5655,6 @@
-
-
- - - - - - - - - def - - - - tupleExtractor - - - - - - ( - - - - extractor: - - Extractor - - - ) - - - - - - - : Extractor - -
- -
-
-

Converts a T => (A, B, C) extractor to a T => ((A, B, CC)) extractor.

- -
-
-

Converts a T => (A, B, C) extractor to a T => ((A, B, CC)) extractor.

- -
-
- -
-
diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers.html index 3cb60fe97..9dc9c16ca 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers.html @@ -6170,148 +6170,6 @@ This makes extractor patterns more debuggable (SI-5739).

-
-
- [+] - - - - - - - - case class - - - - ProductExtractorTreeMaker - - - - - - - - -
- -
-
-

An optimized version of ExtractorTreeMaker for Products. -For now, this is hard-coded to case classes, and we simply extract the case class fields.

-

The v... -

-

-

-

-

- -
-
-

An optimized version of ExtractorTreeMaker for Products. -For now, this is hard-coded to case classes, and we simply extract the case class fields.

-

The values for the subpatterns, as specified by the case class fields at the time of extraction, -are stored in local variables that re-use the symbols in subPatBinders. -This makes extractor patterns more debuggable (SI-5739) as well as -avoiding mutation after the pattern has been matched (SI-5158, SI-6070)

-

TODO: make this user-definable as follows -When a companion object defines a method def unapply_1(x: T): U_1, but no def unapply or def unapplySeq, -the extractor is considered to match any non-null value of type T -the pattern is expected to have as many sub-patterns as there are def unapply_I(x: T): U_I methods, -and the type of the I'th sub-pattern is U_I. -The same exception for Seq patterns applies: if the last extractor is of type Seq[U_N], -the pattern must have at least N arguments (exactly N if the last argument is annotated with : _*). -The arguments starting at N (and beyond) are taken from the sequence returned by apply_N, -and it is checked that the sequence has enough elements to provide values for all expected sub-patterns.

-

For a case class C, the implementation is assumed to be def unapply_I(x: C) = x._I, -and the extractor call is inlined under that assumption.

- -
-
- -
- -
-
- [+] - - - - - final - - - object - - - - ProductExtractorTreeMaker - - - - - - - - -
- -
-
-

An optimized version of ExtractorTreeMaker for Products. -For now, this is hard-coded to case classes, and we simply extract the case class fields.

-

The v... -

-

-

-

-

- -
-
-

An optimized version of ExtractorTreeMaker for Products. -For now, this is hard-coded to case classes, and we simply extract the case class fields.

-

The values for the subpatterns, as specified by the case class fields at the time of extraction, -are stored in local variables that re-use the symbols in subPatBinders. -This makes extractor patterns more debuggable (SI-5739) as well as -avoiding mutation after the pattern has been matched (SI-5158, SI-6070)

-

TODO: make this user-definable as follows -When a companion object defines a method def unapply_1(x: T): U_1, but no def unapply or def unapplySeq, -the extractor is considered to match any non-null value of type T -the pattern is expected to have as many sub-patterns as there are def unapply_I(x: T): U_I methods, -and the type of the I'th sub-pattern is U_I. -The same exception for Seq patterns applies: if the last extractor is of type Seq[U_N], -the pattern must have at least N arguments (exactly N if the last argument is annotated with : _*). -The arguments starting at N (and beyond) are taken from the sequence returned by apply_N, -and it is checked that the sequence has enough elements to provide values for all expected sub-patterns.

-

For a case class C, the implementation is assumed to be def unapply_I(x: C) = x._I, -and the extractor call is inlined under that assumption.

- -
-
- -
-
[+] diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ProductExtractorTreeMaker$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ProductExtractorTreeMaker$.html deleted file mode 100644 index 24e3d22fc..000000000 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ProductExtractorTreeMaker$.html +++ /dev/null @@ -1,5693 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - -
-
- - - -
-
- - - - -
-
- - - - - final - - - object - - - ProductExtractorTreeMaker - - - -
- - -
-

An optimized version of ExtractorTreeMaker for Products. -For now, this is hard-coded to case classes, and we simply extract the case class fields.

-

The values for the subpatterns, as specified by the case class fields at the time of extraction, -are stored in local variables that re-use the symbols in subPatBinders. -This makes extractor patterns more debuggable (SI-5739) as well as -avoiding mutation after the pattern has been matched (SI-5158, SI-6070)

-

TODO: make this user-definable as follows -When a companion object defines a method def unapply_1(x: T): U_1, but no def unapply or def unapplySeq, -the extractor is considered to match any non-null value of type T -the pattern is expected to have as many sub-patterns as there are def unapply_I(x: T): U_I methods, -and the type of the I'th sub-pattern is U_I. -The same exception for Seq patterns applies: if the last extractor is of type Seq[U_N], -the pattern must have at least N arguments (exactly N if the last argument is annotated with : _*). -The arguments starting at N (and beyond) are taken from the sequence returned by apply_N, -and it is checked that the sequence has enough elements to provide values for all expected sub-patterns.

-

For a case class C, the implementation is assumed to be def unapply_I(x: C) = x._I, -and the extractor call is inlined under that assumption.

- -
- - -

- Constructors -

- -
- -
- -

- Members -

- -
- -
-
- - - - - - - - - def - - - - apply - - - - - - ( - - - - prevBinder: - - Symbol - - , - - - - extraCond: - - Option -[ -Tree -] - - - ) - - ( - - - - subPatBinders: - - List -[ -Symbol -] - - , - - - - subPatRefs: - - List -[ -Tree -] - - , - - - - mutableBinders: - - List -[ -Symbol -] - - , - - - - binderKnownNonNull: - - Boolean - - , - - - - ignoredSubPatBinders: - - Set -[ -Symbol -] - - - ) - - - - - - - : ProductExtractorTreeMaker - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - def - - - - unapply - - - - - - ( - - - - x$1: - - ProductExtractorTreeMaker - - - ) - - - - - - - : ProductExtractorTreeMaker - -
- -
-
- -
-
- -
-
- -
- -
-
-
-
- - - - - - - - - - - - diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ProductExtractorTreeMaker.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ProductExtractorTreeMaker.html deleted file mode 100644 index dfb829449..000000000 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ProductExtractorTreeMaker.html +++ /dev/null @@ -1,6500 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - -
-
- - - -
-
- - - - -
-
- - - - - - - - case class - - - ProductExtractorTreeMaker - - - -
- - - extends - - FunTreeMaker - - - with - - PreserveSubPatBinders - -
- -
- - -
-

An optimized version of ExtractorTreeMaker for Products. -For now, this is hard-coded to case classes, and we simply extract the case class fields.

-

The values for the subpatterns, as specified by the case class fields at the time of extraction, -are stored in local variables that re-use the symbols in subPatBinders. -This makes extractor patterns more debuggable (SI-5739) as well as -avoiding mutation after the pattern has been matched (SI-5158, SI-6070)

-

TODO: make this user-definable as follows -When a companion object defines a method def unapply_1(x: T): U_1, but no def unapply or def unapplySeq, -the extractor is considered to match any non-null value of type T -the pattern is expected to have as many sub-patterns as there are def unapply_I(x: T): U_I methods, -and the type of the I'th sub-pattern is U_I. -The same exception for Seq patterns applies: if the last extractor is of type Seq[U_N], -the pattern must have at least N arguments (exactly N if the last argument is annotated with : _*). -The arguments starting at N (and beyond) are taken from the sequence returned by apply_N, -and it is checked that the sequence has enough elements to provide values for all expected sub-patterns.

-

For a case class C, the implementation is assumed to be def unapply_I(x: C) = x._I, -and the extractor call is inlined under that assumption.

- -
- - -

- Constructors -

- -
- - -
-
- ProductExtractorTreeMaker - ( - - - - prevBinder: - - Symbol - - , - - - - extraCond: - - Option -[ -Tree -] - - - ) -
-
- -
-
- ProductExtractorTreeMaker - ( - - - - subPatBinders: - - List -[ -Symbol -] - - , - - - - subPatRefs: - - List -[ -Tree -] - - , - - - - mutableBinders: - - List -[ -Symbol -] - - , - - - - binderKnownNonNull: - - Boolean - - , - - - - ignoredSubPatBinders: - - Set -[ -Symbol -] - - - ) -
-
- - -
- -

- Members -

- -
- -
-
- - - - - - private - - - val - - - - binderKnownNonNull - - - - - - - - - : Boolean - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - val - - - - extraCond - - - - - - - - - : Option -[ -Tree -] - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - val - - - - ignoredSubPatBinders - - - - - - - - - : Set -[ -Symbol -] - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - val - - - - mutableBinders - - - - - - - - - : List -[ -Symbol -] - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - val - - - - nextBinder - - - - - - - - - : Symbol - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - val - - - - prevBinder - - - - - - - - - : Symbol - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - val - - - - subPatBinders - - - - - - - - - : List -[ -Symbol -] - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - val - - - - subPatRefs - - - - - - - - - : List -[ -Tree -] - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - def - - - - _1 - - - - - - - - - : T1 - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - def - - - - _2 - - - - - - - - - : T2 - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - def - - - - chainBefore - - - - - - ( - - - - next: - - Tree - - - ) - - ( - - - - casegen: - - Casegen - - - ) - - - - - - - : Tree - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - def - - - - copy - - - - - - ( - - - - prevBinder: - - Symbol - - , - - - - extraCond: - - Option -[ -Tree -] - - - ) - - ( - - - - subPatBinders: - - List -[ -Symbol -] - - , - - - - subPatRefs: - - List -[ -Tree -] - - , - - - - mutableBinders: - - List -[ -Symbol -] - - , - - - - binderKnownNonNull: - - Boolean - - , - - - - ignoredSubPatBinders: - - Set -[ -Symbol -] - - - ) - - - - - - - : ProductExtractorTreeMaker - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - def - - - - copy$default$1 - - - - - - - - - : Symbol - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - def - - - - copy$default$2 - - - - - - - - - : Option -[ -Tree -] - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - - - - def - - - - extraStoredBinders - - - - - - - - - : Set -[ -Symbol -] - -
- -
-
- -
-
- -
-
- -
- -
-
- - - - - - override - - - def - - - - toString - - - - - - - - - : String - -
- -
-
- -
-
- -
-
- -
- -
-
-
-
- - - - - - - - - - - - diff --git a/api/dotty/tools/io/Jar$/WManifest.html b/api/dotty/tools/io/Jar$/WManifest.html index 10ea9bd3c..2a636b77b 100644 --- a/api/dotty/tools/io/Jar$/WManifest.html +++ b/api/dotty/tools/io/Jar$/WManifest.html @@ -5460,6 +5460,12 @@ ( + + x$0: + + Manifest + + )
@@ -5475,7 +5481,7 @@ x$0: - Manifest + InputStream ) @@ -5490,12 +5496,6 @@ ( - - x$0: - - InputStream - - )
-- cgit v1.2.3