aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/ast/Trees$/Instance.html
diff options
context:
space:
mode:
authordotty-bot <felix.mulder@epfl.ch>2017-02-03 16:56:03 +0000
committerdotty-bot <felix.mulder@epfl.ch>2017-02-03 16:56:03 +0000
commitb45ed2e609603cdaa94f9b7f5099da01e5e45314 (patch)
tree961200b6b5da6e0bc24c982c82218d60b7cc7580 /api/dotty/tools/dotc/ast/Trees$/Instance.html
parent7ec0d89df9692ae1ed2b9c52fcf9c137985f503b (diff)
downloaddotty-b45ed2e609603cdaa94f9b7f5099da01e5e45314.tar.gz
dotty-b45ed2e609603cdaa94f9b7f5099da01e5e45314.tar.bz2
dotty-b45ed2e609603cdaa94f9b7f5099da01e5e45314.zip
Update gh-pages site for b71acb9a74382742a43d82eebeff6c7602625500
Diffstat (limited to 'api/dotty/tools/dotc/ast/Trees$/Instance.html')
-rw-r--r--api/dotty/tools/dotc/ast/Trees$/Instance.html58
1 files changed, 58 insertions, 0 deletions
diff --git a/api/dotty/tools/dotc/ast/Trees$/Instance.html b/api/dotty/tools/dotc/ast/Trees$/Instance.html
index 8283ab902..93b78796d 100644
--- a/api/dotty/tools/dotc/ast/Trees$/Instance.html
+++ b/api/dotty/tools/dotc/ast/Trees$/Instance.html
@@ -7948,6 +7948,64 @@ Tree
</div>
</div><!-- end member -->
+ <div id="skipTransform(tree)(ctx)" class="member protected">
+ <div class="member-title">
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ protected
+ </span>
+ <span class="member-kind">
+ def
+ </span>
+ <span class="member-name ">
+
+ skipTransform
+
+ </span>
+
+
+
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ tree:
+ </span>
+ Tree
+
+
+ <span class="no-left">)</span>
+
+ <span class="no-left">(</span>
+
+ <span class="no-left keyword">implicit</span>
+
+
+ <span class="no-left">
+ ctx:
+ </span>
+ Context
+
+
+ <span class="no-left">)</span>
+
+
+
+
+
+
+ <span class="no-left">: Boolean</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <p>Hook to indicate that a transform of some subtree should be skipped</p>
+
+ </div>
+ </div><!-- end member -->
+
</div>
</div><!-- end entity-container -->
</div>