Package eu.bandm.tools.ramus.runtime2

Class Data.View.Proxy<A>

java.lang.Object

eu.bandm.tools.ramus.runtime2.Data.View.Proxy<A>

All Implemented Interfaces:

Data.View<A>

Enclosing interface:

Data.View<A>

public static class Data.View.Proxy<A>
extends Object
implements Data.View<A>

Nested Class Summary

Nested classes/interfaces inherited from interface eu.bandm.tools.ramus.runtime2.Data.View

Data.View.Proxy<A>

Constructor Summary

Constructors

Constructor	Description
Proxy()

Method Summary

Modifier and Type	Method	Description
(package private) void	setBody(Data.View<A> body)
A	view(Data x)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface eu.bandm.tools.ramus.runtime2.Data.View

andThenCombining, map, mapsTo, optional, orElse, orElseGet, sequence

Constructor Details

Proxy

public Proxy()

Method Details

setBody

void setBody(Data.View<A> body)

view

public A view(Data x)

Specified by:

view in interface Data.View<A>