Members/kono/jpf-core: src/peers/gov/nasa/jpf/vm/LoggablePeer.java annotate

annotate src/peers/gov/nasa/jpf/vm/LoggablePeer.java @ 19:9fea3d8da9aa

!!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. From now on, we are free to use default methods and lambdas. added convenience Loggable and PrintStreamable interfaces that mix in the respective fat interfaces via default methods, so that we don't have to burn inheritance of respective target classes (they only have to provide getLogger() and getPrintStream() methods) added a abstract LoggablePeer so that model classes can implement Loggable with intercepted/native logging if they provide a respective concrete peer. added some more default interface method tests

author	Peter Mehlitz <pcmehlitz@gmail.com>
date	Wed, 01 Apr 2015 12:14:15 -0700
parents
children

rev	line source
19 9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	1 package gov.nasa.jpf.vm;
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	2
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	3 import gov.nasa.jpf.JPF;
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	4 import gov.nasa.jpf.annotation.MJI;
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	5 import gov.nasa.jpf.util.JPFLogger;
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	6
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	7 /**
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	8 * abstract base for Loggable peers
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	9 */
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	10 public abstract class LoggablePeer extends NativePeer {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	11
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	12 final JPFLogger delegatee;
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	13
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	14 protected LoggablePeer (String loggerId) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	15 delegatee = JPF.getLogger(loggerId);
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	16 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	17
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	18
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	19 @MJI
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	20 public void severe__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	21 delegatee.severe(env.getStringObject(sRef));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	22 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	23 @MJI public void severe__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	24 delegatee.severe(env.getStringObject(s1Ref), env.getStringObject(s2Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	25 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	26 @MJI public void severe__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	27 delegatee.severe(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	28 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	29 @MJI public void severe__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	30 delegatee.severe(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	31 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	32 @MJI public void severe__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	33 delegatee.severe(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	34 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	35 @MJI public void severe___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	36 delegatee.severe((Object[]) env.getStringArrayObject(aRef));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	37 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	38
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	39 @MJI public void warning__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	40 delegatee.warning(env.getStringObject(sRef));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	41 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	42 @MJI public void warning__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	43 delegatee.warning(env.getStringObject(s1Ref), env.getStringObject(s2Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	44 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	45 @MJI public void warning__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	46 delegatee.warning(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	47 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	48 @MJI public void warning__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	49 delegatee.warning(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	50 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	51 @MJI public void warning__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	52 delegatee.warning(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	53 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	54 @MJI public void warning___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	55 delegatee.warning((Object[]) env.getStringArrayObject(aRef));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	56 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	57
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	58 @MJI public void info__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	59 delegatee.info(env.getStringObject(sRef));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	60 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	61 @MJI public void info__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	62 delegatee.info(env.getStringObject(s1Ref), env.getStringObject(s2Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	63 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	64 @MJI public void info__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	65 delegatee.info(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	66 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	67 @MJI public void info__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	68 delegatee.info(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	69 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	70 @MJI public void info__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	71 delegatee.info(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	72 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	73 @MJI public void info___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	74 delegatee.info((Object[]) env.getStringArrayObject(aRef));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	75 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	76
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	77 @MJI public void fine__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	78 delegatee.fine(env.getStringObject(sRef));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	79 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	80 @MJI public void fine__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	81 delegatee.fine(env.getStringObject(s1Ref), env.getStringObject(s2Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	82 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	83 @MJI public void fine__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	84 delegatee.fine(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	85 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	86 @MJI public void fine__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	87 delegatee.fine(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	88 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	89 @MJI public void fine__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	90 delegatee.fine(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	91 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	92 @MJI public void fine___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	93 delegatee.fine((Object[]) env.getStringArrayObject(aRef));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	94 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	95
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	96 @MJI public void finer__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	97 delegatee.finer(env.getStringObject(sRef));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	98 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	99 @MJI public void finer__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	100 delegatee.finer(env.getStringObject(s1Ref), env.getStringObject(s2Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	101 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	102 @MJI public void finer__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	103 delegatee.finer(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	104 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	105 @MJI public void finer__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	106 delegatee.finer(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	107 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	108 @MJI public void finer__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	109 delegatee.finer(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	110 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	111 @MJI public void finer___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	112 delegatee.finer((Object[]) env.getStringArrayObject(aRef));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	113 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	114
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	115 @MJI public void finest__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	116 delegatee.finest(env.getStringObject(sRef));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	117 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	118 @MJI public void finest__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	119 delegatee.finest(env.getStringObject(s1Ref), env.getStringObject(s2Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	120 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	121 @MJI public void finest__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	122 delegatee.finest(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	123 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	124 @MJI public void finest__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	125 delegatee.finest(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	126 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	127 @MJI public void finest__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	128 delegatee.finest(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	129 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	130 @MJI public void finest___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) {
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	131 delegatee.finest((Object[]) env.getStringArrayObject(aRef));
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	132 }
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	133
9fea3d8da9aa !!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. Peter Mehlitz <pcmehlitz@gmail.com> parents: diff changeset	134 }

Mercurial > hg > Members > kono > jpf-core

annotate src/peers/gov/nasa/jpf/vm/LoggablePeer.java @ 19:9fea3d8da9aa