Package network.aika.lattice.refinement
Class RefValue
- java.lang.Object
-
- network.aika.lattice.refinement.RefValue
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static RefValueread(DataInput in, Model m)voidreadFields(DataInput in, Model m)Deserialize the fields of this object fromin.voidwrite(DataOutput out)Serialize the fields of this object toout.
-
-
-
Method Detail
-
write
public void write(DataOutput out) throws IOException
Description copied from interface:WritableSerialize the fields of this object toout.- Specified by:
writein interfaceWritable- Parameters:
out-DataOuputto serialize this object into.- Throws:
IOException
-
read
public static RefValue read(DataInput in, Model m) throws IOException
- Throws:
IOException
-
readFields
public void readFields(DataInput in, Model m) throws IOException
Description copied from interface:WritableDeserialize the fields of this object fromin.For efficiency, implementations should attempt to re-use storage in the existing object where possible.
- Specified by:
readFieldsin interfaceWritable- Parameters:
in-DataInputto deseriablize this object from.- Throws:
IOException
-
-