org.clafer.instance

Class InstanceClafer

java.lang.Object

org.clafer.instance.InstanceClafer

public class InstanceClafer
extends Object

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
InstanceClafer(AstClafer type, int id, InstanceRef ref, InstanceClafer... children)

Method Summary

Methods

Modifier and Type	Method and Description
InstanceClafer[]	getChildren()
InstanceClafer[]	getChildren(AstConcreteClafer type)
int	getId()
InstanceRef	getRef()
AstClafer	getType()
boolean	hasChildren()
boolean	hasRef()
void	print() Print solution to stdout.
void	print(Appendable out) Print solution.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

InstanceClafer

public InstanceClafer(AstClafer type,
              int id,
              InstanceRef ref,
              InstanceClafer... children)

Method Detail

getType

public AstClafer getType()

getId

public int getId()

hasRef

public boolean hasRef()

getRef

public InstanceRef getRef()

hasChildren

public boolean hasChildren()

getChildren

public InstanceClafer[] getChildren()

getChildren

public InstanceClafer[] getChildren(AstConcreteClafer type)

print

public void print()
           throws IOException

Print solution to stdout.

Throws:

IOException - an IO error occurred

print

public void print(Appendable out)
           throws IOException

Print solution.

Parameters:

out - the stream to print to

Throws:

IOException - an IO error occurred

toString

public String toString()

Overrides:

toString in class Object