wyc.lang

Class Stmt.Skip

java.lang.Object

wybs.lang.SyntacticElement.Impl

wyc.lang.Stmt.Skip

All Implemented Interfaces:

wybs.lang.SyntacticElement, Stmt

Direct Known Subclasses:

Stmt.Debug

Enclosing interface:

Stmt

public static class Stmt.Skip
extends wybs.lang.SyntacticElement.Impl
implements Stmt

Nested Class Summary

Nested classes/interfaces inherited from interface wyc.lang.Stmt

Stmt.Assert, Stmt.Assign, Stmt.Assume, Stmt.Break, Stmt.Case, Stmt.Continue, Stmt.Debug, Stmt.DoWhile, Stmt.Fail, Stmt.IfElse, Stmt.NamedBlock, Stmt.Return, Stmt.Skip, Stmt.Switch, Stmt.VariableDeclaration, Stmt.While

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

wybs.lang.SyntacticElement.Impl

Constructor Summary

Constructors

Constructor and Description
Skip(wybs.lang.Attribute... attributes)
Skip(Collection<wybs.lang.Attribute> attributes)

Method Summary

Methods inherited from class wybs.lang.SyntacticElement.Impl

attribute, attributes

Methods inherited from class java.lang.Object

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

Methods inherited from interface wybs.lang.SyntacticElement

attribute, attributes

Constructor Detail

Skip

public Skip(wybs.lang.Attribute... attributes)

Skip

public Skip(Collection<wybs.lang.Attribute> attributes)