switch(this.tag) { case VerificationTypeInfo.ITEM_UNINITIALIZED_THIS : buffer.append("uninitialized_this(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_UNINITIALIZED : buffer.append("uninitialized(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_OBJECT : buffer.append(readableName()); break; case VerificationTypeInfo.ITEM_DOUBLE :
switch(this.tag) { case VerificationTypeInfo.ITEM_UNINITIALIZED_THIS : buffer.append("uninitialized_this(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_UNINITIALIZED : buffer.append("uninitialized(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_OBJECT : buffer.append(readableName()); break; case VerificationTypeInfo.ITEM_DOUBLE :
switch(this.tag) { case VerificationTypeInfo.ITEM_UNINITIALIZED_THIS : buffer.append("uninitialized_this(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_UNINITIALIZED : buffer.append("uninitialized(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_OBJECT : buffer.append(readableName()); break; case VerificationTypeInfo.ITEM_DOUBLE :
switch(this.tag) { case VerificationTypeInfo.ITEM_UNINITIALIZED_THIS : buffer.append("uninitialized_this(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_UNINITIALIZED : buffer.append("uninitialized(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_OBJECT : buffer.append(readableName()); break; case VerificationTypeInfo.ITEM_DOUBLE :
switch(this.tag) { case VerificationTypeInfo.ITEM_UNINITIALIZED_THIS : buffer.append("uninitialized_this(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_UNINITIALIZED : buffer.append("uninitialized(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_OBJECT : buffer.append(readableName()); break; case VerificationTypeInfo.ITEM_DOUBLE :
switch(this.tag) { case VerificationTypeInfo.ITEM_UNINITIALIZED_THIS : buffer.append("uninitialized_this(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_UNINITIALIZED : buffer.append("uninitialized(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_OBJECT : buffer.append(readableName()); break; case VerificationTypeInfo.ITEM_DOUBLE :
switch(this.tag) { case VerificationTypeInfo.ITEM_UNINITIALIZED_THIS : buffer.append("uninitialized_this(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_UNINITIALIZED : buffer.append("uninitialized(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_OBJECT : buffer.append(readableName()); break; case VerificationTypeInfo.ITEM_DOUBLE :
switch(this.tag) { case VerificationTypeInfo.ITEM_UNINITIALIZED_THIS : buffer.append("uninitialized_this(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_UNINITIALIZED : buffer.append("uninitialized(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_OBJECT : buffer.append(readableName()); break; case VerificationTypeInfo.ITEM_DOUBLE :
switch(this.tag) { case VerificationTypeInfo.ITEM_UNINITIALIZED_THIS : buffer.append("uninitialized_this(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_UNINITIALIZED : buffer.append("uninitialized(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_OBJECT : buffer.append(readableName()); break; case VerificationTypeInfo.ITEM_DOUBLE :
switch(this.tag) { case VerificationTypeInfo.ITEM_UNINITIALIZED_THIS : buffer.append("uninitialized_this(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_UNINITIALIZED : buffer.append("uninitialized(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_OBJECT : buffer.append(readableName()); break; case VerificationTypeInfo.ITEM_DOUBLE :
switch(this.tag) { case VerificationTypeInfo.ITEM_UNINITIALIZED_THIS : buffer.append("uninitialized_this(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_UNINITIALIZED : buffer.append("uninitialized(").append(readableName()).append(")"); //$NON-NLS-1$//$NON-NLS-2$ break; case VerificationTypeInfo.ITEM_OBJECT : buffer.append(readableName()); break; case VerificationTypeInfo.ITEM_DOUBLE :