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 and Description
Proxy()

Method Summary

Modifier and Type	Method and Description
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

map, mapsTo, optional, orElse, orElseGet, sequence

Constructor Detail

Proxy

public Proxy()

Method Detail

view

public A view(Data x)

Specified by:

view in interface Data.View<A>