org.grinvin.conjecture.filter

Class BooleanValueGraphFilter

Implemented Interfaces:
GraphFilter

public class BooleanValueGraphFilter
extends AbstractGraphFilter

GraphFilter that filters graphs based on the value of an invariant that returns a BooleanValue.

Constructor Summary

BooleanValueGraphFilter(Invariant invariant)
BooleanValueGraphFilter(Invariant invariant, boolean negate)

Method Summary

@Override
String getDescription()
boolean
accepts_impl(GraphBundleView gb)
@Override
boolean accepts(GraphBundleView gb)
void
fromElement(Element element)
String
getDescription_impl()
Element
toElement()

Methods inherited from class org.grinvin.conjecture.filter.AbstractGraphFilter

accepts, accepts_impl, addGraphFilterListener, fireFilterChanged, getDescription, getDescription_impl, isNegated, negate, removeGraphFilterListener

Constructor Details

BooleanValueGraphFilter

public BooleanValueGraphFilter(Invariant invariant)

BooleanValueGraphFilter

public BooleanValueGraphFilter(Invariant invariant,
                               boolean negate)

Method Details

String getDescription

public @Override String getDescription()

accepts_impl

public boolean accepts_impl(GraphBundleView gb)
Overrides:
accepts_impl in interface AbstractGraphFilter

boolean accepts

public @Override boolean accepts(GraphBundleView gb)

fromElement

public void fromElement(Element element)
Specified by:
fromElement in interface GraphFilter

getDescription_impl

public String getDescription_impl()
Overrides:
getDescription_impl in interface AbstractGraphFilter

toElement

public Element toElement()
Specified by:
toElement in interface GraphFilter