public class MergeView extends View
限定符和类型 | 字段和说明 |
---|---|
protected View[] |
subgroups |
members, suppress_view_size, view_id
构造器和说明 |
---|
MergeView() |
MergeView(Address creator,
long id,
java.util.List<Address> members,
java.util.List<View> subgroups)
Creates a new view
|
MergeView(ViewId view_id,
Address[] members,
java.util.List<View> subgroups) |
MergeView(ViewId view_id,
java.util.List<Address> members,
java.util.List<View> subgroups)
Creates a new merge view
|
限定符和类型 | 方法和说明 |
---|---|
MergeView |
copy()
Creates a copy of a view
|
boolean |
deepEquals(View other) |
protected int |
get(Address member) |
protected Address |
get(int index) |
java.util.List<View> |
getSubgroups() |
protected static View[] |
listToArray(java.util.List<View> list) |
void |
readFrom(java.io.DataInput in)
Read the state of the current object (including superclasses) from instream
Note that the input stream must not be closed
|
int |
serializedSize() |
java.lang.String |
toString() |
void |
writeTo(java.io.DataOutput out)
Write the entire state of the current object (including superclasses) to outstream.
|
compareTo, containsMember, create, diff, equals, getCreator, getMembers, getMembersRaw, getVid, getViewId, hashCode, iterator, leftMembers, size
protected View[] subgroups
public MergeView()
public MergeView(ViewId view_id, java.util.List<Address> members, java.util.List<View> subgroups)
view_id
- The view id of this view (can not be null)members
- Contains a list of all the members in the view, can be empty but not null.subgroups
- A list of Views representing the former subgroupspublic MergeView(Address creator, long id, java.util.List<Address> members, java.util.List<View> subgroups)
creator
- The creator of this view (can not be null)id
- The lamport timestamp of this viewmembers
- Contains a list of all the members in the view, can be empty but not null.subgroups
- A list of Views representing the former subgroupspublic java.util.List<View> getSubgroups()
public boolean deepEquals(View other)
deepEquals
在类中 View
public void writeTo(java.io.DataOutput out) throws java.lang.Exception
Streamable
writeTo
在接口中 Streamable
writeTo
在类中 View
java.lang.Exception
public void readFrom(java.io.DataInput in) throws java.lang.Exception
Streamable
readFrom
在接口中 Streamable
readFrom
在类中 View
java.lang.Exception
public int serializedSize()
serializedSize
在类中 View
protected int get(Address member)
protected Address get(int index)