public class CloverDatabaseSpec extends Object
| Constructor and Description |
|---|
CloverDatabaseSpec() |
CloverDatabaseSpec(Clover2Registry reg) |
CloverDatabaseSpec(String initString) |
CloverDatabaseSpec(String initString,
Interval span) |
| Modifier and Type | Method and Description |
|---|---|
String |
getInitString() |
Interval |
getSpan() |
void |
setInitString(String initString) |
void |
setSpan(Interval span) |
public CloverDatabaseSpec()
public CloverDatabaseSpec(Clover2Registry reg)
public CloverDatabaseSpec(String initString)
Copyright © 2024 OpenClover.org. All rights reserved.