34 |
/** A node view dispatching to different other |
/** A node view dispatching to different other |
35 |
* node views depending on a node content's type. |
* node views depending on a node content's type. |
36 |
*/ |
*/ |
37 |
public class DispatchingNodeView implements NodeFunction { |
public class DispatchingNodeView implements PureNodeFunction { |
38 |
|
|
39 |
final NodeFunction nodeContent; |
final NodeFunction nodeContent; |
40 |
final NodeFunction textView, pageView; |
final NodeFunction textView, pageView; |
41 |
|
|
42 |
public DispatchingNodeView(NodeFunction nodeContent, |
public DispatchingNodeView(NodeFunction nodeContent, |
43 |
NodeFunction textView, |
PureNodeFunction textView, |
44 |
NodeFunction pageView) { |
NodeFunction pageView) { |
45 |
this.nodeContent = nodeContent; |
this.nodeContent = nodeContent; |
46 |
this.textView = textView; |
this.textView = textView; |