edu.mit.csail.sdg.alloy4compiler.translator
Class A4Tuple

java.lang.Object
  edu.mit.csail.sdg.alloy4compiler.translator.A4Tuple

public final class A4Tuple
extends java.lang.Object

Immutable; represents a single Alloy tuple; comparison is by identity rather than by value.

Method Summary

int	arity() Returns the arity.
java.lang.String	atom(int i) Returns the i-th atom in this Tuple.
Sig.PrimSig	sig(int i) Return the most-specific-sig for the i-th atom in this Tuple.
java.lang.String	toString() Prints a human-readable description of this Tuple.
Type	type() Returns the type constructed by taking the product for each sig in this tuple.

Methods inherited from class java.lang.Object

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

Method Detail

arity

public int arity()

Returns the arity.

type

public Type type()

Returns the type constructed by taking the product for each sig in this tuple.

atom

public java.lang.String atom(int i)

Returns the i-th atom in this Tuple.

sig

public Sig.PrimSig sig(int i)

Return the most-specific-sig for the i-th atom in this Tuple.

toString

public java.lang.String toString()

Prints a human-readable description of this Tuple.

Overrides:

toString in class java.lang.Object