@ParametersAreNonnullByDefault public class Clause extends Object
Clause class.
Constructor and Description |
---|
Clause(SortedSet<String> uniqueNames,
ClauseParameters parameters)
Constructor for Clause.
|
Clause(String uniqueName,
ClauseParameters parameters)
Constructor for Clause.
|
Modifier and Type | Method and Description |
---|---|
static String |
allToString(List<Clause> clauses) |
Appendable |
appendTo(Appendable appendix)
appendTo.
|
static Clause |
clause(String uniqueName)
clause.
|
static Clause |
clause(String uniqueName,
ClauseParameters parameters)
clause.
|
boolean |
equals(Clause that)
equals.
|
boolean |
equals(Object other) |
int |
hashCode() |
ClauseParameters |
parameters()
parameters.
|
static SortedSet<String> |
sortedSet(String... elements)
sortedSet.
|
String |
toString() |
SortedSet<String> |
uniqueNames()
uniqueNames.
|
public Clause(String uniqueName, ClauseParameters parameters)
Constructor for Clause.
uniqueName
- a String
object.parameters
- a ClauseParameters
object.public Clause(SortedSet<String> uniqueNames, ClauseParameters parameters)
Constructor for Clause.
uniqueNames
- a SortedSet
object.parameters
- a ClauseParameters
object.public static Clause clause(String uniqueName, ClauseParameters parameters)
clause.
uniqueName
- a String
object.parameters
- a ClauseParameters
object.Clause
object.@Fluent(role=AUX) public static SortedSet<String> sortedSet(String... elements)
sortedSet.
T
- a T object.elements
- a T object.SortedSet
object.public boolean equals(Clause that)
equals.
that
- a Clause
object.public ClauseParameters parameters()
parameters.
ClauseParameters
object.public Appendable appendTo(Appendable appendix) throws IOException
appendTo.
appendix
- a Appendable
object.Appendable
object.IOException
- if any.Copyright © 2018 earcam. All rights reserved.