kodkod.ast

Class Decls

java.lang.Object

kodkod.ast.Node

kodkod.ast.Decls

All Implemented Interfaces:

Iterable<Decl>

Direct Known Subclasses:

Decl

public class Decls
extends Node
implements Iterable<Decl>

A sequence of decls.

Author:

Emina Torlak

Specfields:

size: int

decls: [0..size) -> one Decl

Invariants:

size > 0

children = decls

Method Summary

Modifier and Type	Method and Description
<E,F,D,I> D	accept(ReturnVisitor<E,F,D,I> visitor) Accepts the given visitor and returns the result of the visit (i.e.
void	accept(VoidVisitor visitor) Accepts the given void visitor by calling visitor.visit(this).
Decls	and(Decls other) Returns a sequence of this.size + other.size decls that has these decls as the prefix and the given decls as the suffix.
Decl	get(int i) Returns the ith declaration in this Decls sequence.
Iterator<Decl>	iterator() Returns an unmodifiable iterator over the decls in this Decls object.
int	size() Returns the number of decls in this Decls object.
String	toString() Returns a string representation of this node.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Method Detail

accept

public <E,F,D,I> D accept(ReturnVisitor<E,F,D,I> visitor)

Accepts the given visitor and returns the result of the visit (i.e. the result of the call visitor.visit(this))

Specified by:

accept in class Node

Returns:

the result of being visited by the given visitor

See Also:

Node.accept(kodkod.ast.visitor.ReturnVisitor)

accept

public void accept(VoidVisitor visitor)

Accepts the given void visitor by calling visitor.visit(this).

Specified by:

accept in class Node

See Also:

Node.accept(kodkod.ast.visitor.VoidVisitor)

and

public final Decls and(Decls other)

Returns a sequence of this.size + other.size decls that has these decls as the prefix and the given decls as the suffix.

Returns:

{ds: Decls | ds.size = this.size + other.size && ds.decls = this.decls + {i: [this.size..this.size+other.size), d: Decl | d = other.decls[i-this.size] }

Throws:

NullPointerException - decl = null

get

public Decl get(int i)

Returns the ith declaration in this Decls sequence.

Requires:

0 <= i < this.size

Returns:

this.decls[i]

iterator

public Iterator<Decl> iterator()

Returns an unmodifiable iterator over the decls in this Decls object.

Specified by:

iterator in interface Iterable<Decl>

Returns:

an unmodifiable iterator over the decls in this Decls object.

size

public int size()

Returns the number of decls in this Decls object.

Returns:

this.size

toString

public String toString()

Returns a string representation of this node. For a pretty-printed string, use PrettyPrinter.

Specified by:

toString in class Node

Returns:

a string representation of this node

See Also:

Node.toString()