Package daikon.split.misc
Class ReturnTrueSplitter
-
- All Implemented Interfaces:
Serializable
public final class ReturnTrueSplitter extends Splitter
- See Also:
- Serialized Form
-
-
Field Summary
-
Fields inherited from class Splitter
instantiated
-
-
Constructor Summary
Constructors Constructor Description ReturnTrueSplitter()
Create a prototype (factory) splitter.ReturnTrueSplitter(@UnknownInitialization(Ppt.class) Ppt ppt)
Create a new instantiated ReturnTrueSplitter.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
condition()
Returns the condition being tested, as a String.@Nullable DummyInvariant
getDummyInvariant()
On an instantiated Splitter, give back an appropriate instantiated DummyInvariant.Splitter
instantiateSplitter(@UnknownInitialization(Ppt.class) Ppt ppt)
Creates a valid splitter than can be used for testing the condition via test(ValueTuple).boolean
test(ValueTuple vt)
Returns true or false according to whether the values in the specified ValueTuple satisfy the condition represented by this Splitter.boolean
valid()
Returns true or false according to whether this was instantiated correctly and test(ValueTuple) can be called without error.-
Methods inherited from class Splitter
instantiated, instantiateDummy, makeDummyInvariantFactory
-
-
-
-
Constructor Detail
-
ReturnTrueSplitter
public ReturnTrueSplitter()
Create a prototype (factory) splitter.
-
ReturnTrueSplitter
public ReturnTrueSplitter(@UnknownInitialization(Ppt.class) Ppt ppt)
Create a new instantiated ReturnTrueSplitter.
-
-
Method Detail
-
instantiateSplitter
public Splitter instantiateSplitter(@UnknownInitialization(Ppt.class) Ppt ppt)
Description copied from class:Splitter
Creates a valid splitter than can be used for testing the condition via test(ValueTuple). The implementation should always set the "instantiated" protected field to true, if that field is present in the Splitter class.- Specified by:
instantiateSplitter
in classSplitter
-
valid
@EnsuresNonNullIf(result=true, expression="return_varinfo") public boolean valid()
Description copied from class:Splitter
Returns true or false according to whether this was instantiated correctly and test(ValueTuple) can be called without error. An alternate design would haveSplitter.instantiateSplitter(Ppt)
check this, but it's a bit easier on implementers of subclasses of Splitter for the work to be done (in just one place) by the caller.
-
test
@RequiresNonNull("return_varinfo") public boolean test(ValueTuple vt)
Description copied from class:Splitter
Returns true or false according to whether the values in the specified ValueTuple satisfy the condition represented by this Splitter. Requires that valid() returns true.
-
condition
public String condition()
Description copied from class:Splitter
Returns the condition being tested, as a String.
-
getDummyInvariant
public @Nullable DummyInvariant getDummyInvariant()
Description copied from class:Splitter
On an instantiated Splitter, give back an appropriate instantiated DummyInvariant.- Specified by:
getDummyInvariant
in classSplitter
-
-