/** *ClonethisMInsn,andclonethewrappedInstruction.
*/ public MInsn clone() {
MInsn newInsn = new MInsn();
newInsn.insn = insn.clone(); // It is the responsibility of the cloner to update these values.
newInsn.location = location;
newInsn.locationUpdated = locationUpdated; return newInsn;
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.