|
SOA © 2004 SoS Group All Rights Reserved |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object sos.koa.CandidateListMetadata
The metadata associated with a candidiate list for an election.
Class Specifications |
invariant 0 <= my_kiesKringCount; invariant my_kiesKringCount <= CandidateList.MAX_KIESKRINGEN_PER_CANDIDATE_LIST; invariant 0 <= my_districtCount; invariant my_districtCount <= KiesKring.MAX_DISTRICTS_PER_KIESKRING; invariant 0 <= my_kiesLijstCount; invariant my_kiesLijstCount <= KiesKring.MAX_KIESLIJSTEN_PER_KIESKRING; invariant 0 <= my_positieCount; invariant 0 <= my_codeCount; |
Field Summary | |
[spec_public] private int |
my_codeCount
The number of candidate codes contained in the associated candidate list. |
[spec_public] private java.lang.String |
my_creationTime
The creation time of the associated candidate list. |
[spec_public] private int |
my_districtCount
The number of districts in the associated candidate list. |
[spec_public] private byte |
my_kiesKringCount
The number of kieskringen in the associated candidate list. |
[spec_public] private byte |
my_kiesLijstCount
The number of kieslijsten in the associated candidate list. |
[spec_public] private int |
my_positieCount
The total number of candidates in the associated candidate list. |
[spec_public] private java.lang.String |
my_requestReference
The request reference of the associated candidate list. |
[spec_public] private java.lang.String |
my_responseReference
The response reference of the associated candidate list. |
Constructor Summary | |
(package private) |
CandidateListMetadata(non_null java.lang.String a_request_reference,
non_null java.lang.String a_response_reference,
non_null java.lang.String a_creation_time,
byte a_kieskring_count,
int a_district_count,
byte a_kieslijst_count,
int a_positie_count,
int a_code_count)
Construct a new candidate list metadata object given the specified initialization values. |
Method Summary | |
(package private) int |
codeCount()
|
(package private) java.lang.String |
creationTime()
|
(package private) int |
districtCount()
|
(package private) byte |
kiesKringCount()
|
(package private) byte |
kiesLijstCount()
|
(package private) int |
positieCount()
|
(package private) java.lang.String |
requestReference()
|
(package private) java.lang.String |
responseReference()
|
java.lang.String |
toString()
{@inheritDoc} |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
private java.lang.String my_requestReference
private java.lang.String my_responseReference
private java.lang.String my_creationTime
private byte my_kiesKringCount
private int my_districtCount
private byte my_kiesLijstCount
private int my_positieCount
private int my_codeCount
Constructor Detail |
CandidateListMetadata(non_null java.lang.String a_request_reference, non_null java.lang.String a_response_reference, non_null java.lang.String a_creation_time, byte a_kieskring_count, int a_district_count, byte a_kieslijst_count, int a_positie_count, int a_code_count)
a_request_reference
- the request reference of the
associated candidate list.a_response_reference
- the response reference of the
associated candidate list.a_creation_time
- the creation time of the associated
candidate list.a_kieskring_count
- the number of kieskringen in the
associated candidate list.a_district_count
- the number of districts in the associated
candidate list.a_kieslijst_count
- the number of kieslijsten in the
associated candidate list.a_positie_count
- the total number of candidates in the
associated candidate list.a_code_count
- the number of candidate codes contained in
the associated candidate list.
Method Detail |
final java.lang.String requestReference()
final java.lang.String responseReference()
final java.lang.String creationTime()
final byte kiesKringCount()
final int districtCount()
final byte kiesLijstCount()
final int positieCount()
final int codeCount()
public final java.lang.String toString()
toString
in class java.lang.Object
|
SOA © 2004 SoS Group All Rights Reserved |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |