wyal.lang

Class WyalFile.Attribute.Proof

java.lang.Object

wyal.lang.WyalFile.Attribute.Proof

All Implemented Interfaces:

wybs.lang.Attribute

Enclosing interface:

WyalFile.Attribute

public static class WyalFile.Attribute.Proof
extends Object
implements wybs.lang.Attribute

Nested Class Summary

Nested classes/interfaces inherited from interface wybs.lang.Attribute

wybs.lang.Attribute.Origin, wybs.lang.Attribute.Source

Constructor Summary

Constructors

Constructor and Description
Proof(Proof proof)

Method Summary

Modifier and Type	Method and Description
Proof	getProof()

Methods inherited from class java.lang.Object

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

Constructor Detail

Proof

public Proof(Proof proof)

Method Detail

getProof

public Proof getProof()