aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc
diff options
context:
space:
mode:
authorFelix Mulder <felix.mulder@gmail.com>2017-01-24 18:26:15 +0100
committerFelix Mulder <felix.mulder@gmail.com>2017-01-31 14:35:42 +0100
commit483ac5340db262adb5efcf747a97dc9f25bc0208 (patch)
treed18b2dd3b610564768ffd809b6f77023fe24ae7a /compiler/src/dotty/tools/dotc
parent866e364dde76aa5df42548bf72d2f5c4d200535b (diff)
downloaddotty-483ac5340db262adb5efcf747a97dc9f25bc0208.tar.gz
dotty-483ac5340db262adb5efcf747a97dc9f25bc0208.tar.bz2
dotty-483ac5340db262adb5efcf747a97dc9f25bc0208.zip
Fix javadoc indentation style parsing
Diffstat (limited to 'compiler/src/dotty/tools/dotc')
-rw-r--r--compiler/src/dotty/tools/dotc/core/Phases.scala12
-rw-r--r--compiler/src/dotty/tools/dotc/transform/IsInstanceOfEvaluator.scala52
2 files changed, 32 insertions, 32 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/Phases.scala b/compiler/src/dotty/tools/dotc/core/Phases.scala
index b066943dd..7bba88542 100644
--- a/compiler/src/dotty/tools/dotc/core/Phases.scala
+++ b/compiler/src/dotty/tools/dotc/core/Phases.scala
@@ -267,12 +267,12 @@ object Phases {
trait Phase extends DotClass {
/** A name given to the `Phase` that can be used to debug the compiler. For
- * instance, it is possible to print trees after a given phase using:
- *
- * ```bash
- * $ ./bin/dotc -Xprint:<phaseNameHere> sourceFile.scala
- * ```
- */
+ * instance, it is possible to print trees after a given phase using:
+ *
+ * ```bash
+ * $ ./bin/dotc -Xprint:<phaseNameHere> sourceFile.scala
+ * ```
+ */
def phaseName: String
/** List of names of phases that should precede this phase */
diff --git a/compiler/src/dotty/tools/dotc/transform/IsInstanceOfEvaluator.scala b/compiler/src/dotty/tools/dotc/transform/IsInstanceOfEvaluator.scala
index e6b1f5aac..0c6ee7a18 100644
--- a/compiler/src/dotty/tools/dotc/transform/IsInstanceOfEvaluator.scala
+++ b/compiler/src/dotty/tools/dotc/transform/IsInstanceOfEvaluator.scala
@@ -8,27 +8,27 @@ import Contexts.Context, Types._, Constants._, Decorators._, Symbols._
import TypeUtils._, TypeErasure._, Flags._
/** Implements partial evaluation of `sc.isInstanceOf[Sel]` according to:
- *
- * | Sel\sc | trait | class | final class |
- * | ----------: | :------------------------: | :------------------------: | :--------------: |
- * | trait | ? | ? | statically known |
- * | class | ? | false if classes unrelated | statically known |
- * | final class | false if classes unrelated | false if classes unrelated | statically known |
- *
- * This is a generalized solution to raising an error on unreachable match
- * cases and warnings on other statically known results of `isInstanceOf`.
- *
- * Steps taken:
- *
- * 1. `evalTypeApply` will establish the matrix and choose the appropriate
- * handling for the case:
- * - Sel/sc is a value class or scrutinee is `Any`
- * - `handleStaticallyKnown`
- * - `falseIfUnrelated` with `scrutinee <:< selector`
- * - `handleFalseUnrelated`
- * - leave as is (`happens`)
- * 2. Rewrite according to steps taken in 1
- */
+ *
+ * | Sel\sc | trait | class | final class |
+ * | ----------: | :------------------------: | :------------------------: | :--------------: |
+ * | trait | ? | ? | statically known |
+ * | class | ? | false if classes unrelated | statically known |
+ * | final class | false if classes unrelated | false if classes unrelated | statically known |
+ *
+ * This is a generalized solution to raising an error on unreachable match
+ * cases and warnings on other statically known results of `isInstanceOf`.
+ *
+ * Steps taken:
+ *
+ * 1. `evalTypeApply` will establish the matrix and choose the appropriate
+ * handling for the case:
+ * - Sel/sc is a value class or scrutinee is `Any`
+ * - `handleStaticallyKnown`
+ * - `falseIfUnrelated` with `scrutinee <:< selector`
+ * - `handleFalseUnrelated`
+ * - leave as is (`happens`)
+ * 2. Rewrite according to steps taken in 1
+ */
class IsInstanceOfEvaluator extends MiniPhaseTransform { thisTransformer =>
import dotty.tools.dotc.ast.tpd._
@@ -37,15 +37,15 @@ class IsInstanceOfEvaluator extends MiniPhaseTransform { thisTransformer =>
val phaseName = "isInstanceOfEvaluator"
/** Transforms a [TypeApply](dotty.tools.dotc.ast.Trees.TypeApply) in order to
- * evaluate an `isInstanceOf` check according to the rules defined above.
- */
+ * evaluate an `isInstanceOf` check according to the rules defined above.
+ */
override def transformTypeApply(tree: TypeApply)(implicit ctx: Context, info: TransformerInfo): Tree = {
val defn = ctx.definitions
/** Handles the four cases of statically known `isInstanceOf`s and gives
- * the correct warnings, or an error if statically known to be false in
- * match
- */
+ * the correct warnings, or an error if statically known to be false in
+ * match
+ */
def handleStaticallyKnown(select: Select, scrutinee: Type, selector: Type, inMatch: Boolean, pos: Position): Tree = {
val scrutineeSubSelector = scrutinee <:< selector
if (!scrutineeSubSelector && inMatch) {