org.walkmod.javalang.constraints

Class NodesPerLineConstraint

java.lang.Object

org.walkmod.javalang.constraints.NodesPerLineConstraint

All Implemented Interfaces:

org.walkmod.modelchecker.Constraint<Node>

public class NodesPerLineConstraint
extends Object
implements org.walkmod.modelchecker.Constraint<Node>

Constructor Summary

Constructors

Constructor and Description
NodesPerLineConstraint()

Method Summary

Modifier and Type	Method and Description
void	addLine(int lineNumber)
void	addLine(int beginLine, int endLine)
boolean	isConstrained(Node o)

Methods inherited from class java.lang.Object

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

Constructor Detail

NodesPerLineConstraint

public NodesPerLineConstraint()

Method Detail

addLine

public void addLine(int beginLine,
                    int endLine)

addLine

public void addLine(int lineNumber)

isConstrained

public boolean isConstrained(Node o)

Specified by:

isConstrained in interface org.walkmod.modelchecker.Constraint<Node>