1 package acl2s.lib.contentassist;
2
3 public class Underflow<T extends Comparable<? super T>, B extends Embed<T, B, I> & PureTree<T>, I extends RBTree<T, B, I>>
4 implements Grey<T, B, I> {
5 B body;
6
7 Underflow(B x) {
8 body = x;
9 }
10
11 public PureTree<T> makePure() {
|
Event bad_cast: |
The cast from "acl2s.lib.contentassist.Embed" to "acl2s.lib.contentassist.PureTree" might fail with a ClassCastException. |
|
Event type_created: |
Creating a value of type "acl2s.lib.contentassist.Embed". |
12 return body;
13 }
14
15 public Grey<T, NeBlack<T, B, I>, DeepTree<T, B, I>> putL(
16 DeepBlack<T, B, I> pa) {
17 return pa.ri.absorbL(body, pa);
18 }
19
20 public Grey<T, NeBlack<T, B, I>, DeepTree<T, B, I>> putR(
21 DeepBlack<T, B, I> pa) {
22 return pa.le.absorbR(body, pa);
23 }
24
25 public DeepTree<T, B, I> rputL(DeepRed<T, B, I> pa) {
26 return pa.ri.le.absorbL(body, pa, pa.ri);
27 }
28
29 public DeepTree<T, B, I> rputR(DeepRed<T, B, I> pa) {
30 return pa.le.ri.absorbR(body, pa, pa.le);
31 }
32 }