wyc.lang

Class Stmt.Assign

java.lang.Object

wybs.lang.SyntacticElement.Impl

wyc.lang.Stmt.Assign

All Implemented Interfaces:

wybs.lang.SyntacticElement, Stmt

Enclosing interface:

Stmt

public static final class Stmt.Assign
extends wybs.lang.SyntacticElement.Impl
implements Stmt

Represents an assignment statement of the form lhs = rhs. Here, the rhs is any expression, whilst the lhs must be an LVal --- that is, an expression permitted on the left-side of an assignment. The following illustrates different possible assignment statements:

 x = y       // variable assignment
 x.f = y     // field assignment
 x[i] = y    // list assignment
 x[i].f = y  // compound assignment
 

The last assignment here illustrates that the left-hand side of an assignment can be arbitrarily complex, involving nested assignments into lists and records.

Author:

David J. Pearce

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

Field Summary

Fields

Modifier and Type	Field and Description
List<Expr.LVal>	lvals
List<Expr>	rvals

Constructor Summary

Constructors

Constructor and Description
Assign(List<Expr.LVal> lvals, List<Expr> rvals, wybs.lang.Attribute... attributes) Create an assignment from a given sequence of lvals and expressions on the right-hand side.
Assign(List<Expr.LVal> lvals, List<Expr> rvals, Collection<wybs.lang.Attribute> attributes) Create an assignment from a given sequence of lvals and expressions on the right-hand side.

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

Field Detail

lvals

public final List<Expr.LVal> lvals

rvals

public final List<Expr> rvals

Constructor Detail

Assign

public Assign(List<Expr.LVal> lvals,
              List<Expr> rvals,
              wybs.lang.Attribute... attributes)

Create an assignment from a given sequence of lvals and expressions on the right-hand side.

Parameters:

lvals - Sequence of one or more lval expressions representing the left-hand side

rvals - Sequence of one or more expressions representing the right-hand side

attributes -

Assign

public Assign(List<Expr.LVal> lvals,
              List<Expr> rvals,
              Collection<wybs.lang.Attribute> attributes)

Create an assignment from a given sequence of lvals and expressions on the right-hand side.

Parameters:

lvals - Sequence of one or more lval expressions representing the left-hand side

rvals - Sequence of one or more expressions representing the right-hand side

attributes -