Uses of Class
edu.mit.csail.sdg.alloy4.ByteBuffer

Packages that use ByteBuffer

edu.mit.csail.sdg.alloy4

This package contains general data structures and helper classes.

Uses of ByteBuffer in edu.mit.csail.sdg.alloy4

Methods in edu.mit.csail.sdg.alloy4 that return ByteBuffer

ByteBuffer	ByteBuffer.write(java.lang.String string) Write the given String into this byte buffer (by converting the String into its UTF-8 representation)
ByteBuffer	ByteBuffer.writes(double x) Write the given number into this byte buffer (truncated to the range -32767..+32767), followed by a space.
ByteBuffer	ByteBuffer.writes(long x) Write the given number into this byte buffer, followed by a space.