//# 6 errors, 1,029 messages
//#
/*
    //#WeblogPermission.java:1:1: class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#WeblogPermission.java:1:1: method: String org.apache.roller.weblogger.pojos.WeblogPermission.getId()
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.setId(String)
    //#WeblogPermission.java:1:1: method: Weblog org.apache.roller.weblogger.pojos.WeblogPermission.getWebsite()
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.setWebsite(Weblog)
    //#WeblogPermission.java:1:1: method: User org.apache.roller.weblogger.pojos.WeblogPermission.getUser()
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.setUser(User)
    //#WeblogPermission.java:1:1: method: short org.apache.roller.weblogger.pojos.WeblogPermission.getPermissionMask()
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.setPermissionMask(short)
    //#WeblogPermission.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogPermission.isPending()
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.setPending(bool)
    //#WeblogPermission.java:1:1: method: int org.apache.roller.weblogger.pojos.WeblogPermission.pcGetEnhancementContractVersion()
    //#WeblogPermission.java:1:1: method: Class org.apache.roller.weblogger.pojos.WeblogPermission.class$(String)
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcClearFields()
    //#WeblogPermission.java:1:1: method: PersistenceCapable org.apache.roller.weblogger.pojos.WeblogPermission.pcNewInstance(StateManager, Object, bool)
    //#WeblogPermission.java:1:1: method: PersistenceCapable org.apache.roller.weblogger.pojos.WeblogPermission.pcNewInstance(StateManager, bool)
    //#WeblogPermission.java:1:1: method: int org.apache.roller.weblogger.pojos.WeblogPermission.pcGetManagedFieldCount()
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcReplaceField(int)
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcReplaceFields(int[])
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcProvideField(int)
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcProvideFields(int[])
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcCopyField(WeblogPermission, int)
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcCopyFields(Object, int[])
    //#WeblogPermission.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogPermission.pcGetGenericContext()
    //#WeblogPermission.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogPermission.pcFetchObjectId()
    //#WeblogPermission.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogPermission.pcIsDeleted()
    //#WeblogPermission.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogPermission.pcIsDirty()
    //#WeblogPermission.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogPermission.pcIsNew()
    //#WeblogPermission.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogPermission.pcIsPersistent()
    //#WeblogPermission.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogPermission.pcIsTransactional()
    //#WeblogPermission.java:1:1: method: bool org.apache.roller.weblogger.pojos.WeblogPermission.pcSerializing()
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcDirty(String)
    //#WeblogPermission.java:1:1: method: StateManager org.apache.roller.weblogger.pojos.WeblogPermission.pcGetStateManager()
    //#WeblogPermission.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogPermission.pcGetVersion()
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcReplaceStateManager(StateManager)
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcCopyKeyFieldsToObjectId(FieldSupplier, Object)
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcCopyKeyFieldsToObjectId(Object)
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcCopyKeyFieldsFromObjectId(Object)
    //#WeblogPermission.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogPermission.pcNewObjectIdInstance(Object)
    //#WeblogPermission.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogPermission.pcNewObjectIdInstance()
    //#WeblogPermission.java:1:1: method: Boolean org.apache.roller.weblogger.pojos.WeblogPermission.pcIsDetached()
    //#WeblogPermission.java:1:1: method: Object org.apache.roller.weblogger.pojos.WeblogPermission.pcGetDetachedState()
    //#WeblogPermission.java:1:1: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcSetDetachedState(Object)
 * Copyright 2005 Sun Microsystems, Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

package org.apache.roller.weblogger.pojos; 

import org.apache.commons.lang.builder.EqualsBuilder;
import org.apache.commons.lang.builder.HashCodeBuilder;
import org.apache.roller.util.UUIDGenerator;

/**
 * Represents a user's permissions within a website.
 *
 * @ejb:bean name="WeblogPermission"
 * @struts.form include-all="true"
 * @hibernate.class lazy="true" table="roller_user_permissions"
 * @hibernate.cache usage="read-write"
 *
 * @author Dave Johnson
 */
public class WeblogPermission
{
    private String      id = UUIDGenerator.generateUUID();
    //#WeblogPermission.java:35: Warning: method not available
    //#    -- call on String org.apache.roller.util.UUIDGenerator:generateUUID()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void org.apache.roller.weblogger.pojos.WeblogPermission()
    //#    unanalyzed callee: String org.apache.roller.util.UUIDGenerator:generateUUID()
    private Weblog website = null;
    private User    user = null;
    private boolean     pending = true;
    public static short LIMITED = 0x00; // 0000 
    //#WeblogPermission.java:39: method: org.apache.roller.weblogger.pojos.WeblogPermission.org.apache.roller.weblogger.pojos.WeblogPermission__static_init
    //#input(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): java.lang.Boolean.TYPE
    //#input(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): java.lang.Short.TYPE
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): ADMIN
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): AUTHOR
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): LIMITED
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogPermission]
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.getId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.getPermissionMask()S
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.getUser()Lorg/apache/roller/weblogger/pojos/User;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.getWebsite()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.has(S)Z
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.hashCode()I
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.isPending()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcClearFields()V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcCopyField(Lorg/apache/roller/weblogger/pojos/WeblogPermission;I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcCopyFields(Ljava/lang/Object;[I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Lorg/apache/openjpa/enhance/FieldConsumer;Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Lorg/apache/openjpa/enhance/FieldSupplier;Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcDirty(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcFetchObjectId()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcGetDetachedState()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcGetEnhancementContractVersion()I
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcGetGenericContext()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcGetStateManager()Lorg/apache/openjpa/enhance/StateManager;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcGetVersion()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcIsDeleted()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcIsDetached()Ljava/lang/Boolean;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcIsDirty()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcIsNew()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcIsPersistent()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcIsTransactional()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcNewInstance(Lorg/apache/openjpa/enhance/StateManager;Ljava/lang/Object;Z)Lorg/apache/openjpa/enhance/PersistenceCapable;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcNewInstance(Lorg/apache/openjpa/enhance/StateManager;Z)Lorg/apache/openjpa/enhance/PersistenceCapable;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcNewObjectIdInstance()Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcNewObjectIdInstance(Ljava/lang/Object;)Ljava/lang/Object;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcProvideField(I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcProvideFields([I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcReplaceField(I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcReplaceFields([I)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcReplaceStateManager(Lorg/apache/openjpa/enhance/StateManager;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcSerializing()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcSetDetachedState(Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcgetId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcgetPermissionMask()S
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcgetUser()Lorg/apache/roller/weblogger/pojos/User;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcgetWebsite()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcisPending()Z
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcsetId(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcsetPending(Z)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcsetPermissionMask(S)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcsetUser(Lorg/apache/roller/weblogger/pojos/User;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcsetWebsite(Lorg/apache/roller/weblogger/pojos/Weblog;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.setId(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.setPending(Z)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.setPermissionMask(S)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.setUser(Lorg/apache/roller/weblogger/pojos/User;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.setWebsite(Lorg/apache/roller/weblogger/pojos/Weblog;)V
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): class$Ljava$lang$String
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): class$Lorg$apache$roller$weblogger$pojos$User
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): class$Lorg$apache$roller$weblogger$pojos$Weblog
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): class$Lorg$apache$roller$weblogger$pojos$WeblogPermission
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): new Class[](WeblogPermission__static_init#2) num objects
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldTypes.length
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldTypes[0]
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldTypes[1]
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldTypes[2]
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldTypes[3]
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldTypes[4]
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): new String[](WeblogPermission__static_init#1) num objects
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldNames.length
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldNames[0]
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldNames[1]
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldNames[2]
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldNames[3]
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldNames[4]
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): new byte[](WeblogPermission__static_init#3) num objects
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldFlags.length
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldFlags[0]
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldFlags[1]
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldFlags[2]
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldFlags[3]
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldFlags[4]
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldFlags
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldNames
    //#output(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldTypes
    //#new obj(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): new Class[](WeblogPermission__static_init#2)
    //#new obj(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): new String[](WeblogPermission__static_init#1)
    //#new obj(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): new byte[](WeblogPermission__static_init#3)
    //#presumption(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): init'ed(java.lang.Boolean.TYPE)
    //#presumption(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): init'ed(java.lang.Short.TYPE)
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): ADMIN == 3
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): AUTHOR == 1
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): new Class[](WeblogPermission__static_init#2) num objects == 1
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): new String[](WeblogPermission__static_init#1) num objects == 1
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): new byte[](WeblogPermission__static_init#3) num objects == 1
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): LIMITED == 0
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogPermission] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z == &equals
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.getId()Ljava/lang/String; == &getId
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.getPermissionMask()S == &getPermissionMask
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.getUser()Lorg/apache/roller/weblogger/pojos/User; == &getUser
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.getWebsite()Lorg/apache/roller/weblogger/pojos/Weblog; == &getWebsite
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.has(S)Z == &has
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.hashCode()I == &hashCode
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.isPending()Z == &isPending
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcClearFields()V == &pcClearFields
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcCopyField(Lorg/apache/roller/weblogger/pojos/WeblogPermission;I)V == &pcCopyField
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcCopyFields(Ljava/lang/Object;[I)V == &pcCopyFields
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Ljava/lang/Object;)V == &pcCopyKeyFieldsFromObjectId
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Lorg/apache/openjpa/enhance/FieldConsumer;Ljava/lang/Object;)V == &pcCopyKeyFieldsFromObjectId
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Ljava/lang/Object;)V == &pcCopyKeyFieldsToObjectId
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcCopyKeyFieldsToObjectId(Lorg/apache/openjpa/enhance/FieldSupplier;Ljava/lang/Object;)V == &pcCopyKeyFieldsToObjectId
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcDirty(Ljava/lang/String;)V == &pcDirty
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcFetchObjectId()Ljava/lang/Object; == &pcFetchObjectId
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcGetDetachedState()Ljava/lang/Object; == &pcGetDetachedState
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcGetEnhancementContractVersion()I == &pcGetEnhancementContractVersion
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcGetGenericContext()Ljava/lang/Object; == &pcGetGenericContext
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcGetStateManager()Lorg/apache/openjpa/enhance/StateManager; == &pcGetStateManager
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcGetVersion()Ljava/lang/Object; == &pcGetVersion
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcIsDeleted()Z == &pcIsDeleted
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcIsDetached()Ljava/lang/Boolean; == &pcIsDetached
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcIsDirty()Z == &pcIsDirty
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcIsNew()Z == &pcIsNew
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcIsPersistent()Z == &pcIsPersistent
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcIsTransactional()Z == &pcIsTransactional
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcNewInstance(Lorg/apache/openjpa/enhance/StateManager;Ljava/lang/Object;Z)Lorg/apache/openjpa/enhance/PersistenceCapable; == &pcNewInstance
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcNewInstance(Lorg/apache/openjpa/enhance/StateManager;Z)Lorg/apache/openjpa/enhance/PersistenceCapable; == &pcNewInstance
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcNewObjectIdInstance()Ljava/lang/Object; == &pcNewObjectIdInstance
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcNewObjectIdInstance(Ljava/lang/Object;)Ljava/lang/Object; == &pcNewObjectIdInstance
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcProvideField(I)V == &pcProvideField
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcProvideFields([I)V == &pcProvideFields
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcReplaceField(I)V == &pcReplaceField
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcReplaceFields([I)V == &pcReplaceFields
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcReplaceStateManager(Lorg/apache/openjpa/enhance/StateManager;)V == &pcReplaceStateManager
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcSerializing()Z == &pcSerializing
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcSetDetachedState(Ljava/lang/Object;)V == &pcSetDetachedState
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcgetId()Ljava/lang/String; == &pcgetId
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcgetPermissionMask()S == &pcgetPermissionMask
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcgetUser()Lorg/apache/roller/weblogger/pojos/User; == &pcgetUser
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcgetWebsite()Lorg/apache/roller/weblogger/pojos/Weblog; == &pcgetWebsite
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcisPending()Z == &pcisPending
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcsetId(Ljava/lang/String;)V == &pcsetId
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcsetPending(Z)V == &pcsetPending
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcsetPermissionMask(S)V == &pcsetPermissionMask
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcsetUser(Lorg/apache/roller/weblogger/pojos/User;)V == &pcsetUser
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.pcsetWebsite(Lorg/apache/roller/weblogger/pojos/Weblog;)V == &pcsetWebsite
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.setId(Ljava/lang/String;)V == &setId
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.setPending(Z)V == &setPending
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.setPermissionMask(S)V == &setPermissionMask
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.setUser(Lorg/apache/roller/weblogger/pojos/User;)V == &setUser
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.setWebsite(Lorg/apache/roller/weblogger/pojos/Weblog;)V == &setWebsite
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &toString
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): class$Ljava$lang$String == undefined
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): class$Ljava$lang$String == null
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): class$Lorg$apache$roller$weblogger$pojos$User == class$Ljava$lang$String
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): class$Lorg$apache$roller$weblogger$pojos$Weblog == class$Ljava$lang$String
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): class$Lorg$apache$roller$weblogger$pojos$WeblogPermission == class$Ljava$lang$String
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldFlags == &new byte[](WeblogPermission__static_init#3)
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldNames == &new String[](WeblogPermission__static_init#1)
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldTypes == &new Class[](WeblogPermission__static_init#2)
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldTypes.length == 5
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldNames.length == 5
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldFlags.length == 5
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldTypes[0] == &Ljava.lang.String.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldTypes[1] == java.lang.Boolean.TYPE
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): (soft) init'ed(pcFieldTypes[1])
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldTypes[2] == java.lang.Short.TYPE
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): (soft) init'ed(pcFieldTypes[2])
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldTypes[3] == &Lorg.apache.roller.weblogger.pojos.User.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldTypes[4] == &Lorg.apache.roller.weblogger.pojos.Weblog.__Class_Obj
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldNames[0] == &"id"
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldNames[1] == &"pending"
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldNames[2] == &"permissionMask"
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldNames[3] == &"user"
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldNames[4] == &"website"
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldFlags[0] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldFlags[1] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldFlags[2] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldFlags[3] == 26
    //#post(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): pcFieldFlags[4] == 26
    //#unanalyzed(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): Effects-of-calling:java.lang.Class:forName
    //#unanalyzed(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): Effects-of-calling:java.lang.Throwable:getMessage
    //#unanalyzed(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): Effects-of-calling:java.lang.NoClassDefFoundError
    //#unanalyzed(org.apache.roller.weblogger.pojos.WeblogPermission__static_init): Effects-of-calling:org.apache.roller.util.UUIDGenerator:generateUUID
    public static short AUTHOR  = 0x01; // 0001
    public static short ADMIN   = 0x03; // 0011 
    //#WeblogPermission.java:41: Warning: test always goes same way
    //#    test predetermined because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: org.apache.roller.weblogger.pojos.WeblogPermission__static_init
    //#    from bb: Entry_BB_1
    //#    live edge: Entry_BB_1-->bb_2
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogPermission.java:41: Warning: dead code
    //#    dead code here because &Ljava/lang/String.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: org.apache.roller.weblogger.pojos.WeblogPermission__static_init
    //#    dead bb: bb_3
    //#WeblogPermission.java:41: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/User.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: org.apache.roller.weblogger.pojos.WeblogPermission__static_init
    //#    from bb: bb_4
    //#    live edge: bb_4-->bb_5
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogPermission.java:41: Warning: dead code
    //#    dead code here because &Lorg/apache/roller/weblogger/pojos/User.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: org.apache.roller.weblogger.pojos.WeblogPermission__static_init
    //#    dead bb: bb_6
    //#WeblogPermission.java:41: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/Weblog.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: org.apache.roller.weblogger.pojos.WeblogPermission__static_init
    //#    from bb: bb_7
    //#    live edge: bb_7-->bb_8
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogPermission.java:41: Warning: dead code
    //#    dead code here because &Lorg/apache/roller/weblogger/pojos/Weblog.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: org.apache.roller.weblogger.pojos.WeblogPermission__static_init
    //#    dead bb: bb_9
    //#WeblogPermission.java:41: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/WeblogPermission.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: org.apache.roller.weblogger.pojos.WeblogPermission__static_init
    //#    from bb: bb_10
    //#    live edge: bb_10-->bb_11
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogPermission.java:41: Warning: dead code
    //#    dead code here because &Lorg/apache/roller/weblogger/pojos/WeblogPermission.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: org.apache.roller.weblogger.pojos.WeblogPermission__static_init
    //#    dead bb: bb_12
    //#WeblogPermission.java:41: ?use of default init
    //#    init'ed(pcPCSuperclass)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: org.apache.roller.weblogger.pojos.WeblogPermission__static_init
    //#    basic block: bb_13
    //#    assertion: init'ed(pcPCSuperclass)
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#WeblogPermission.java:41: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.PCRegistry:register(Class, String[], Class[], byte[], Class, String, PersistenceCapable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: org.apache.roller.weblogger.pojos.WeblogPermission__static_init
    //#    unanalyzed callee: void org.apache.openjpa.enhance.PCRegistry:register(Class, String[], Class[], byte[], Class, String, PersistenceCapable)
    //#WeblogPermission.java:41: end of method: org.apache.roller.weblogger.pojos.WeblogPermission.org.apache.roller.weblogger.pojos.WeblogPermission__static_init
    private short       permissionMask = LIMITED;
    
    /** Creates a new instance of PermissionsData */
    public WeblogPermission() 
    {
    //#WeblogPermission.java:46: method: void org.apache.roller.weblogger.pojos.WeblogPermission.org.apache.roller.weblogger.pojos.WeblogPermission()
    //#input(void org.apache.roller.weblogger.pojos.WeblogPermission()): LIMITED
    //#input(void org.apache.roller.weblogger.pojos.WeblogPermission()): this
    //#output(void org.apache.roller.weblogger.pojos.WeblogPermission()): this.id
    //#output(void org.apache.roller.weblogger.pojos.WeblogPermission()): this.pending
    //#output(void org.apache.roller.weblogger.pojos.WeblogPermission()): this.permissionMask
    //#output(void org.apache.roller.weblogger.pojos.WeblogPermission()): this.user
    //#output(void org.apache.roller.weblogger.pojos.WeblogPermission()): this.website
    //#pre[1] (void org.apache.roller.weblogger.pojos.WeblogPermission()): init'ed(LIMITED)
    //#post(void org.apache.roller.weblogger.pojos.WeblogPermission()): init'ed(this.id)
    //#post(void org.apache.roller.weblogger.pojos.WeblogPermission()): this.pending == 1
    //#post(void org.apache.roller.weblogger.pojos.WeblogPermission()): this.permissionMask == LIMITED
    //#post(void org.apache.roller.weblogger.pojos.WeblogPermission()): init'ed(this.permissionMask)
    //#post(void org.apache.roller.weblogger.pojos.WeblogPermission()): this.user == null
    //#post(void org.apache.roller.weblogger.pojos.WeblogPermission()): this.website == null
    }
    //#WeblogPermission.java:47: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.org.apache.roller.weblogger.pojos.WeblogPermission()

    /**
     * Check for specific permission.
     */
    public boolean has(short priv)
    {
        return (getPermissionMask() & priv) == priv;
    //#WeblogPermission.java:54: method: bool org.apache.roller.weblogger.pojos.WeblogPermission.has(short)
    //#input(bool has(short)): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogPermission]
    //#input(bool has(short)): __Descendant_Table[others]
    //#input(bool has(short)): __Dispatch_Table.getPermissionMask()S
    //#input(bool has(short)): pcInheritedFieldCount
    //#input(bool has(short)): priv
    //#input(bool has(short)): this
    //#input(bool has(short)): this.__Tag
    //#input(bool has(short)): this.pcStateManager
    //#input(bool has(short)): this.permissionMask
    //#output(bool has(short)): return_value
    //#pre[6] (bool has(short)): this.__Tag == org/apache/roller/weblogger/pojos/WeblogPermission
    //#pre[7] (bool has(short)): init'ed(this.pcStateManager)
    //#pre[8] (bool has(short)): init'ed(this.permissionMask)
    //#pre[2] (bool has(short)): (soft) pcInheritedFieldCount <= 4_294_967_293
    //#post(bool has(short)): init'ed(return_value)
    //#unanalyzed(bool has(short)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#WeblogPermission.java:54: end of method: bool org.apache.roller.weblogger.pojos.WeblogPermission.has(short)
    }
    /**
     * @ejb:persistent-field
     * @hibernate.id column="id"
     *     generator-class="assigned"  
     */
    public String getId() 
    {
        return id;
    //#WeblogPermission.java:63: method: String org.apache.roller.weblogger.pojos.WeblogPermission.pcgetId()
    //#input(String pcgetId()): this
    //#input(String pcgetId()): this.id
    //#output(String pcgetId()): return_value
    //#pre[2] (String pcgetId()): init'ed(this.id)
    //#post(String pcgetId()): return_value == this.id
    //#post(String pcgetId()): init'ed(return_value)
    //#WeblogPermission.java:63: end of method: String org.apache.roller.weblogger.pojos.WeblogPermission.pcgetId()
    }
    /** @ejb:persistent-field */
    public void setId(String id) 
    {
        // Form bean workaround: empty string is never a valid id
        if (id != null && id.trim().length() == 0) return; 
    //#WeblogPermission.java:69: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcsetId(String)
    //#input(void pcsetId(String)): Param_1
    //#input(void pcsetId(String)): this
    //#output(void pcsetId(String)): this.id
    //#post(void pcsetId(String)): this.id == One-of{old this.id, Param_1}
    //#test_vector(void pcsetId(String)): Param_1: Addr_Set{null}, Inverse{null}
    //#test_vector(void pcsetId(String)): java.lang.String:length(...)@69: {1..4_294_967_295}, {0}
        this.id = id;
    }
    //#WeblogPermission.java:71: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcsetId(String)
    /** 
     * @hibernate.many-to-one column="website_id" cascade="none" not-null="false"
     */
    public Weblog getWebsite() 
    {
        return website;
    //#WeblogPermission.java:77: method: Weblog org.apache.roller.weblogger.pojos.WeblogPermission.pcgetWebsite()
    //#input(Weblog pcgetWebsite()): this
    //#input(Weblog pcgetWebsite()): this.website
    //#output(Weblog pcgetWebsite()): return_value
    //#pre[2] (Weblog pcgetWebsite()): init'ed(this.website)
    //#post(Weblog pcgetWebsite()): return_value == this.website
    //#post(Weblog pcgetWebsite()): init'ed(return_value)
    //#WeblogPermission.java:77: end of method: Weblog org.apache.roller.weblogger.pojos.WeblogPermission.pcgetWebsite()
    }
    public void setWebsite(Weblog website) 
    {
        this.website = website;
    //#WeblogPermission.java:81: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcsetWebsite(Weblog)
    //#input(void pcsetWebsite(Weblog)): Param_1
    //#input(void pcsetWebsite(Weblog)): this
    //#output(void pcsetWebsite(Weblog)): this.website
    //#post(void pcsetWebsite(Weblog)): this.website == Param_1
    //#post(void pcsetWebsite(Weblog)): init'ed(this.website)
    }
    //#WeblogPermission.java:82: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcsetWebsite(Weblog)
    /** 
     * @hibernate.many-to-one column="user_id" cascade="none" not-null="false"
     */
    public User getUser() 
    {
        return user;
    //#WeblogPermission.java:88: method: User org.apache.roller.weblogger.pojos.WeblogPermission.pcgetUser()
    //#input(User pcgetUser()): this
    //#input(User pcgetUser()): this.user
    //#output(User pcgetUser()): return_value
    //#pre[2] (User pcgetUser()): init'ed(this.user)
    //#post(User pcgetUser()): return_value == this.user
    //#post(User pcgetUser()): init'ed(return_value)
    //#WeblogPermission.java:88: end of method: User org.apache.roller.weblogger.pojos.WeblogPermission.pcgetUser()
    }
    public void setUser(User user) 
    {
        this.user = user;
    //#WeblogPermission.java:92: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcsetUser(User)
    //#input(void pcsetUser(User)): Param_1
    //#input(void pcsetUser(User)): this
    //#output(void pcsetUser(User)): this.user
    //#post(void pcsetUser(User)): this.user == Param_1
    //#post(void pcsetUser(User)): init'ed(this.user)
    }
    //#WeblogPermission.java:93: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcsetUser(User)
    /**
     * Bit mask that encodes user's permissions in website.
     * @ejb:persistent-field
     * @hibernate.property column="permission_mask" non-null="true" unique="false"
     */
    public short getPermissionMask() 
    {
        return permissionMask;
    //#WeblogPermission.java:101: method: short org.apache.roller.weblogger.pojos.WeblogPermission.pcgetPermissionMask()
    //#input(short pcgetPermissionMask()): this
    //#input(short pcgetPermissionMask()): this.permissionMask
    //#output(short pcgetPermissionMask()): return_value
    //#pre[2] (short pcgetPermissionMask()): init'ed(this.permissionMask)
    //#post(short pcgetPermissionMask()): return_value == this.permissionMask
    //#post(short pcgetPermissionMask()): init'ed(return_value)
    //#WeblogPermission.java:101: end of method: short org.apache.roller.weblogger.pojos.WeblogPermission.pcgetPermissionMask()
    }
    /** @ejb:persistent-field */
    public void setPermissionMask(short permissionMask) 
    {
        this.permissionMask = permissionMask;
    //#WeblogPermission.java:106: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcsetPermissionMask(short)
    //#input(void pcsetPermissionMask(short)): Param_1
    //#input(void pcsetPermissionMask(short)): this
    //#output(void pcsetPermissionMask(short)): this.permissionMask
    //#post(void pcsetPermissionMask(short)): this.permissionMask == Param_1
    //#post(void pcsetPermissionMask(short)): init'ed(this.permissionMask)
    }
    //#WeblogPermission.java:107: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcsetPermissionMask(short)
    /**
     * True if user has been invited to join site but has not yet accepted.
     * And false if user is member of website.
     * @ejb:persistent-field
     * @hibernate.property column="pending" non-null="true" unique="false"
     */
    public boolean isPending() 
    {
        return pending;
    //#WeblogPermission.java:116: method: bool org.apache.roller.weblogger.pojos.WeblogPermission.pcisPending()
    //#input(bool pcisPending()): this
    //#input(bool pcisPending()): this.pending
    //#output(bool pcisPending()): return_value
    //#pre[2] (bool pcisPending()): init'ed(this.pending)
    //#post(bool pcisPending()): return_value == this.pending
    //#post(bool pcisPending()): init'ed(return_value)
    //#WeblogPermission.java:116: end of method: bool org.apache.roller.weblogger.pojos.WeblogPermission.pcisPending()
    }
    /** @ejb:persistent-field */
    public void setPending(boolean pending) 
    {
        this.pending = pending;
    //#WeblogPermission.java:121: method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcsetPending(bool)
    //#input(void pcsetPending(bool)): Param_1
    //#input(void pcsetPending(bool)): this
    //#output(void pcsetPending(bool)): this.pending
    //#post(void pcsetPending(bool)): this.pending == Param_1
    //#post(void pcsetPending(bool)): init'ed(this.pending)
    }
    //#WeblogPermission.java:122: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcsetPending(bool)
    
    //------------------------------------------------------- Good citizenship

    public String toString() {
        StringBuffer buf = new StringBuffer();
    //#WeblogPermission.java:127: method: String org.apache.roller.weblogger.pojos.WeblogPermission.toString()
    //#input(String toString()): ", "._tainted
    //#input(String toString()): "{"._tainted
    //#input(String toString()): "}"._tainted
    //#input(String toString()): this
    //#input(String toString()): this.id
    //#input(String toString()): this.id._tainted
    //#input(String toString()): this.pending
    //#input(String toString()): this.permissionMask
    //#output(String toString()): java.lang.StringBuffer:toString(...)._tainted
    //#output(String toString()): return_value
    //#new obj(String toString()): java.lang.StringBuffer:toString(...)
    //#pre[2] (String toString()): init'ed(this.id)
    //#pre[4] (String toString()): init'ed(this.pending)
    //#pre[5] (String toString()): init'ed(this.permissionMask)
    //#post(String toString()): java.lang.StringBuffer:toString(...)._tainted == this.id._tainted
    //#post(String toString()): init'ed(java.lang.StringBuffer:toString(...)._tainted)
    //#post(String toString()): return_value == &java.lang.StringBuffer:toString(...)
        buf.append("{");
        buf.append(this.id);
        buf.append(", ").append(this.permissionMask);
        buf.append(", ").append(this.pending);
        buf.append("}");
        return buf.toString();
    //#WeblogPermission.java:133: end of method: String org.apache.roller.weblogger.pojos.WeblogPermission.toString()
    }
    
    public boolean equals(Object other) {
        if (other == this) return true;
    //#WeblogPermission.java:137: method: bool org.apache.roller.weblogger.pojos.WeblogPermission.equals(Object)
    //#input(bool equals(Object)): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogPermission]
    //#input(bool equals(Object)): __Descendant_Table[others]
    //#input(bool equals(Object)): other
    //#input(bool equals(Object)): other.__Tag
    //#input(bool equals(Object)): other.user
    //#input(bool equals(Object)): other.website
    //#input(bool equals(Object)): this
    //#input(bool equals(Object)): this.user
    //#input(bool equals(Object)): this.website
    //#output(bool equals(Object)): return_value
    //#pre[6] (bool equals(Object)): (soft) init'ed(other.user)
    //#pre[7] (bool equals(Object)): (soft) init'ed(other.website)
    //#pre[9] (bool equals(Object)): (soft) init'ed(this.user)
    //#pre[10] (bool equals(Object)): (soft) init'ed(this.website)
    //#presumption(bool equals(Object)): org.apache.commons.lang.builder.EqualsBuilder:append(...)@140 != null
    //#presumption(bool equals(Object)): org.apache.commons.lang.builder.EqualsBuilder:append(...)@140 != null
    //#post(bool equals(Object)): init'ed(return_value)
    //#test_vector(bool equals(Object)): other == this: {0}, {1}
        if (other instanceof WeblogPermission != true) return false;
        WeblogPermission o = (WeblogPermission)other;
        return new EqualsBuilder()
    //#WeblogPermission.java:140: Warning: method not available
    //#    -- call on void org.apache.commons.lang.builder.EqualsBuilder()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: bool equals(Object)
    //#    unanalyzed callee: void org.apache.commons.lang.builder.EqualsBuilder()
    //#WeblogPermission.java:140: Warning: method not available
    //#    -- call on EqualsBuilder org.apache.commons.lang.builder.EqualsBuilder:append(Object, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: bool equals(Object)
    //#    unanalyzed callee: EqualsBuilder org.apache.commons.lang.builder.EqualsBuilder:append(Object, Object)
    //#WeblogPermission.java:140: Warning: method not available
    //#    -- call on bool org.apache.commons.lang.builder.EqualsBuilder:isEquals()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: bool equals(Object)
    //#    unanalyzed callee: bool org.apache.commons.lang.builder.EqualsBuilder:isEquals()
    //#WeblogPermission.java:140: end of method: bool org.apache.roller.weblogger.pojos.WeblogPermission.equals(Object)
            .append(user, o.user) 
            .append(website, o.website) 
            .isEquals();
    }
    
    public int hashCode() { 
        return new HashCodeBuilder()
    //#WeblogPermission.java:147: method: int org.apache.roller.weblogger.pojos.WeblogPermission.hashCode()
    //#WeblogPermission.java:147: Warning: method not available
    //#    -- call on void org.apache.commons.lang.builder.HashCodeBuilder()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: int hashCode()
    //#    unanalyzed callee: void org.apache.commons.lang.builder.HashCodeBuilder()
    //#WeblogPermission.java:147: Warning: method not available
    //#    -- call on HashCodeBuilder org.apache.commons.lang.builder.HashCodeBuilder:append(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: int hashCode()
    //#    unanalyzed callee: HashCodeBuilder org.apache.commons.lang.builder.HashCodeBuilder:append(Object)
    //#WeblogPermission.java:147: Warning: method not available
    //#    -- call on int org.apache.commons.lang.builder.HashCodeBuilder:toHashCode()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: int hashCode()
    //#    unanalyzed callee: int org.apache.commons.lang.builder.HashCodeBuilder:toHashCode()
    //#input(int hashCode()): this
    //#input(int hashCode()): this.user
    //#input(int hashCode()): this.website
    //#output(int hashCode()): return_value
    //#pre[2] (int hashCode()): init'ed(this.user)
    //#pre[3] (int hashCode()): init'ed(this.website)
    //#presumption(int hashCode()): org.apache.commons.lang.builder.HashCodeBuilder:append(...)@147 != null
    //#presumption(int hashCode()): org.apache.commons.lang.builder.HashCodeBuilder:append(...)@147 != null
    //#post(int hashCode()): init'ed(return_value)
    //#WeblogPermission.java:147: end of method: int org.apache.roller.weblogger.pojos.WeblogPermission.hashCode()
            .append(user)
            .append(website)
            .toHashCode();
    }

}
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: String getId()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(String getId()): Param_0
    //#input(String getId()): Param_0.id
    //#input(String getId()): Param_0.pcStateManager
    //#input(String getId()): pcInheritedFieldCount
    //#output(String getId()): return_value
    //#pre[2] (String getId()): init'ed(Param_0.id)
    //#pre[3] (String getId()): init'ed(Param_0.pcStateManager)
    //#pre[4] (String getId()): (soft) init'ed(pcInheritedFieldCount)
    //#post(String getId()): return_value == Param_0.id
    //#post(String getId()): init'ed(return_value)
    //#test_vector(String getId()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: String org.apache.roller.weblogger.pojos.WeblogPermission.getId()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void setId(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingStringField(PersistenceCapable, int, String, String, int)
    //#input(void setId(String)): Param_0
    //#input(void setId(String)): Param_0.id
    //#input(void setId(String)): Param_0.pcStateManager
    //#input(void setId(String)): Param_1
    //#input(void setId(String)): pcInheritedFieldCount
    //#output(void setId(String)): Param_0.id
    //#pre[2] (void setId(String)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setId(String)): (soft) init'ed(Param_0.id)
    //#pre[5] (void setId(String)): (soft) init'ed(pcInheritedFieldCount)
    //#post(void setId(String)): Param_0.id == One-of{old Param_0.id, Param_1}
    //#post(void setId(String)): (soft) init'ed(Param_0.id)
    //#unanalyzed(void setId(String)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void setId(String)): Effects-of-calling:java.lang.String:length
    //#test_vector(void setId(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.setId(String)
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: Weblog getWebsite()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(Weblog getWebsite()): Param_0
    //#input(Weblog getWebsite()): Param_0.pcStateManager
    //#input(Weblog getWebsite()): Param_0.website
    //#input(Weblog getWebsite()): pcInheritedFieldCount
    //#output(Weblog getWebsite()): return_value
    //#pre[2] (Weblog getWebsite()): init'ed(Param_0.pcStateManager)
    //#pre[3] (Weblog getWebsite()): init'ed(Param_0.website)
    //#pre[4] (Weblog getWebsite()): (soft) pcInheritedFieldCount <= 4_294_967_291
    //#post(Weblog getWebsite()): return_value == Param_0.website
    //#post(Weblog getWebsite()): init'ed(return_value)
    //#test_vector(Weblog getWebsite()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: Weblog org.apache.roller.weblogger.pojos.WeblogPermission.getWebsite()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void setWebsite(Weblog)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#input(void setWebsite(Weblog)): Param_0
    //#input(void setWebsite(Weblog)): Param_0.pcStateManager
    //#input(void setWebsite(Weblog)): Param_0.website
    //#input(void setWebsite(Weblog)): Param_1
    //#input(void setWebsite(Weblog)): pcInheritedFieldCount
    //#output(void setWebsite(Weblog)): Param_0.website
    //#pre[2] (void setWebsite(Weblog)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setWebsite(Weblog)): (soft) init'ed(Param_0.website)
    //#pre[5] (void setWebsite(Weblog)): (soft) pcInheritedFieldCount <= 4_294_967_291
    //#post(void setWebsite(Weblog)): Param_0.website == One-of{Param_1, old Param_0.website}
    //#post(void setWebsite(Weblog)): (soft) init'ed(Param_0.website)
    //#test_vector(void setWebsite(Weblog)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.setWebsite(Weblog)
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: User getUser()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(User getUser()): Param_0
    //#input(User getUser()): Param_0.pcStateManager
    //#input(User getUser()): Param_0.user
    //#input(User getUser()): pcInheritedFieldCount
    //#output(User getUser()): return_value
    //#pre[2] (User getUser()): init'ed(Param_0.pcStateManager)
    //#pre[3] (User getUser()): init'ed(Param_0.user)
    //#pre[4] (User getUser()): (soft) pcInheritedFieldCount <= 4_294_967_292
    //#post(User getUser()): return_value == Param_0.user
    //#post(User getUser()): init'ed(return_value)
    //#test_vector(User getUser()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: User org.apache.roller.weblogger.pojos.WeblogPermission.getUser()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void setUser(User)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingObjectField(PersistenceCapable, int, Object, Object, int)
    //#input(void setUser(User)): Param_0
    //#input(void setUser(User)): Param_0.pcStateManager
    //#input(void setUser(User)): Param_0.user
    //#input(void setUser(User)): Param_1
    //#input(void setUser(User)): pcInheritedFieldCount
    //#output(void setUser(User)): Param_0.user
    //#pre[2] (void setUser(User)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setUser(User)): (soft) init'ed(Param_0.user)
    //#pre[5] (void setUser(User)): (soft) pcInheritedFieldCount <= 4_294_967_292
    //#post(void setUser(User)): Param_0.user == One-of{Param_1, old Param_0.user}
    //#post(void setUser(User)): (soft) init'ed(Param_0.user)
    //#test_vector(void setUser(User)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.setUser(User)
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: short getPermissionMask()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(short getPermissionMask()): Param_0
    //#input(short getPermissionMask()): Param_0.pcStateManager
    //#input(short getPermissionMask()): Param_0.permissionMask
    //#input(short getPermissionMask()): pcInheritedFieldCount
    //#output(short getPermissionMask()): return_value
    //#pre[2] (short getPermissionMask()): init'ed(Param_0.pcStateManager)
    //#pre[3] (short getPermissionMask()): init'ed(Param_0.permissionMask)
    //#pre[4] (short getPermissionMask()): (soft) pcInheritedFieldCount <= 4_294_967_293
    //#post(short getPermissionMask()): return_value == Param_0.permissionMask
    //#post(short getPermissionMask()): init'ed(return_value)
    //#test_vector(short getPermissionMask()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: short org.apache.roller.weblogger.pojos.WeblogPermission.getPermissionMask()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingShortField(PersistenceCapable, int, short, short, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void setPermissionMask(short)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingShortField(PersistenceCapable, int, short, short, int)
    //#input(void setPermissionMask(short)): Param_0
    //#input(void setPermissionMask(short)): Param_0.pcStateManager
    //#input(void setPermissionMask(short)): Param_0.permissionMask
    //#input(void setPermissionMask(short)): Param_1
    //#input(void setPermissionMask(short)): pcInheritedFieldCount
    //#output(void setPermissionMask(short)): Param_0.permissionMask
    //#pre[2] (void setPermissionMask(short)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setPermissionMask(short)): (soft) init'ed(Param_0.permissionMask)
    //#pre[5] (void setPermissionMask(short)): (soft) pcInheritedFieldCount <= 4_294_967_293
    //#post(void setPermissionMask(short)): Param_0.permissionMask == One-of{Param_1, old Param_0.permissionMask}
    //#post(void setPermissionMask(short)): (soft) init'ed(Param_0.permissionMask)
    //#test_vector(void setPermissionMask(short)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.setPermissionMask(short)
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: bool isPending()
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:accessingField(int)
    //#input(bool isPending()): Param_0
    //#input(bool isPending()): Param_0.pcStateManager
    //#input(bool isPending()): Param_0.pending
    //#input(bool isPending()): pcInheritedFieldCount
    //#output(bool isPending()): return_value
    //#pre[2] (bool isPending()): init'ed(Param_0.pcStateManager)
    //#pre[3] (bool isPending()): init'ed(Param_0.pending)
    //#pre[4] (bool isPending()): (soft) pcInheritedFieldCount <= 4_294_967_294
    //#post(bool isPending()): return_value == Param_0.pending
    //#post(bool isPending()): init'ed(return_value)
    //#test_vector(bool isPending()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogPermission.isPending()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:settingBooleanField(PersistenceCapable, int, bool, bool, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void setPending(bool)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:settingBooleanField(PersistenceCapable, int, bool, bool, int)
    //#input(void setPending(bool)): Param_0
    //#input(void setPending(bool)): Param_0.pcStateManager
    //#input(void setPending(bool)): Param_0.pending
    //#input(void setPending(bool)): Param_1
    //#input(void setPending(bool)): pcInheritedFieldCount
    //#output(void setPending(bool)): Param_0.pending
    //#pre[2] (void setPending(bool)): init'ed(Param_0.pcStateManager)
    //#pre[4] (void setPending(bool)): (soft) init'ed(Param_0.pending)
    //#pre[5] (void setPending(bool)): (soft) pcInheritedFieldCount <= 4_294_967_294
    //#post(void setPending(bool)): (soft) init'ed(Param_0.pending)
    //#test_vector(void setPending(bool)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.setPending(bool)
    //#output(int pcGetEnhancementContractVersion()): return_value
    //#post(int pcGetEnhancementContractVersion()): return_value == 2
    //#WeblogPermission.java:: end of method: int org.apache.roller.weblogger.pojos.WeblogPermission.pcGetEnhancementContractVersion()
    //#input(Class class$(String)): Param_0
    //#output(Class class$(String)): return_value
    //#post(Class class$(String)): init'ed(return_value)
    //#WeblogPermission.java:: end of method: Class org.apache.roller.weblogger.pojos.WeblogPermission.class$(String)
    //#input(void pcClearFields()): Param_0
    //#output(void pcClearFields()): Param_0.id
    //#output(void pcClearFields()): Param_0.pending
    //#output(void pcClearFields()): Param_0.permissionMask
    //#output(void pcClearFields()): Param_0.user
    //#output(void pcClearFields()): Param_0.website
    //#post(void pcClearFields()): Param_0.id == null
    //#post(void pcClearFields()): Param_0.user == null
    //#post(void pcClearFields()): Param_0.website == null
    //#post(void pcClearFields()): Param_0.pending == 0
    //#post(void pcClearFields()): Param_0.permissionMask == 0
    //#unanalyzed(void pcClearFields()): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void pcClearFields()): Effects-of-calling:java.lang.String:length
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcClearFields()
    //#input(PersistenceCapable pcNewInstance(StateManager, Object, bool)): LIMITED
    //#input(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Param_1
    //#input(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Param_2
    //#input(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Param_3
    //#input(PersistenceCapable pcNewInstance(StateManager, Object, bool)): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogPermission]
    //#input(PersistenceCapable pcNewInstance(StateManager, Object, bool)): __Dispatch_Table.pcClearFields()V
    //#input(PersistenceCapable pcNewInstance(StateManager, Object, bool)): __Dispatch_Table.pcCopyKeyFieldsFromObjectId(Ljava/lang/Object;)V
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new WeblogPermission(pcNewInstance#1) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.__Tag
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.id
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.pcStateManager
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.pending
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.permissionMask
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.user
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.website
    //#output(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value
    //#new obj(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new WeblogPermission(pcNewInstance#1)
    //#pre[1] (PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(LIMITED)
    //#pre[3] (PersistenceCapable pcNewInstance(StateManager, Object, bool)): Param_2 != null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value == &new WeblogPermission(pcNewInstance#1)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): new WeblogPermission(pcNewInstance#1) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.__Tag == org/apache/roller/weblogger/pojos/WeblogPermission
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.id)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.pcStateManager == Param_1
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.pcStateManager)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.pending)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.permissionMask == One-of{LIMITED, 0}
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): init'ed(return_value.permissionMask)
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.user == null
    //#post(PersistenceCapable pcNewInstance(StateManager, Object, bool)): return_value.website == null
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Effects-of-calling:org.apache.roller.util.UUIDGenerator:generateUUID
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Effects-of-calling:org.apache.openjpa.util.StringId:getId
    //#test_vector(PersistenceCapable pcNewInstance(StateManager, Object, bool)): Param_3: {0}, {1}
    //#WeblogPermission.java:: end of method: PersistenceCapable org.apache.roller.weblogger.pojos.WeblogPermission.pcNewInstance(StateManager, Object, bool)
    //#input(PersistenceCapable pcNewInstance(StateManager, bool)): LIMITED
    //#input(PersistenceCapable pcNewInstance(StateManager, bool)): Param_1
    //#input(PersistenceCapable pcNewInstance(StateManager, bool)): Param_2
    //#input(PersistenceCapable pcNewInstance(StateManager, bool)): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogPermission]
    //#input(PersistenceCapable pcNewInstance(StateManager, bool)): __Dispatch_Table.pcClearFields()V
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): new WeblogPermission(pcNewInstance#1) num objects
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.__Tag
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.id
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.pcStateManager
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.pending
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.permissionMask
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.user
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.website
    //#output(PersistenceCapable pcNewInstance(StateManager, bool)): return_value
    //#new obj(PersistenceCapable pcNewInstance(StateManager, bool)): new WeblogPermission(pcNewInstance#1)
    //#pre[1] (PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(LIMITED)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value == &new WeblogPermission(pcNewInstance#1)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): new WeblogPermission(pcNewInstance#1) num objects == 1
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.__Tag == org/apache/roller/weblogger/pojos/WeblogPermission
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.id)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.pcStateManager == Param_1
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.pcStateManager)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.pending)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.permissionMask == One-of{LIMITED, 0}
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): init'ed(return_value.permissionMask)
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.user == null
    //#post(PersistenceCapable pcNewInstance(StateManager, bool)): return_value.website == null
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, bool)): Effects-of-calling:org.apache.roller.util.UUIDGenerator:generateUUID
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, bool)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(PersistenceCapable pcNewInstance(StateManager, bool)): Effects-of-calling:java.lang.String:length
    //#test_vector(PersistenceCapable pcNewInstance(StateManager, bool)): Param_2: {0}, {1}
    //#WeblogPermission.java:: end of method: PersistenceCapable org.apache.roller.weblogger.pojos.WeblogPermission.pcNewInstance(StateManager, bool)
    //#output(int pcGetManagedFieldCount()): return_value
    //#post(int pcGetManagedFieldCount()): return_value == 5
    //#WeblogPermission.java:: end of method: int org.apache.roller.weblogger.pojos.WeblogPermission.pcGetManagedFieldCount()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on String org.apache.openjpa.enhance.StateManager:replaceStringField(PersistenceCapable, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void pcReplaceField(int)
    //#    unanalyzed callee: String org.apache.openjpa.enhance.StateManager:replaceStringField(PersistenceCapable, int)
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:replaceBooleanField(PersistenceCapable, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void pcReplaceField(int)
    //#    unanalyzed callee: bool org.apache.openjpa.enhance.StateManager:replaceBooleanField(PersistenceCapable, int)
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on short org.apache.openjpa.enhance.StateManager:replaceShortField(PersistenceCapable, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void pcReplaceField(int)
    //#    unanalyzed callee: short org.apache.openjpa.enhance.StateManager:replaceShortField(PersistenceCapable, int)
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:replaceObjectField(PersistenceCapable, int)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void pcReplaceField(int)
    //#    unanalyzed callee: Object org.apache.openjpa.enhance.StateManager:replaceObjectField(PersistenceCapable, int)
    //#input(void pcReplaceField(int)): Param_0
    //#input(void pcReplaceField(int)): Param_0.pcStateManager
    //#input(void pcReplaceField(int)): Param_1
    //#input(void pcReplaceField(int)): org/apache/roller/weblogger/pojos/User.__Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(void pcReplaceField(int)): org/apache/roller/weblogger/pojos/User.__Descendant_Table[others]
    //#input(void pcReplaceField(int)): org/apache/roller/weblogger/pojos/Weblog.__Descendant_Table[org/apache/roller/weblogger/pojos/Weblog]
    //#input(void pcReplaceField(int)): org/apache/roller/weblogger/pojos/Weblog.__Descendant_Table[others]
    //#input(void pcReplaceField(int)): pcInheritedFieldCount
    //#output(void pcReplaceField(int)): Param_0.id
    //#output(void pcReplaceField(int)): Param_0.pending
    //#output(void pcReplaceField(int)): Param_0.permissionMask
    //#output(void pcReplaceField(int)): Param_0.user
    //#output(void pcReplaceField(int)): Param_0.website
    //#pre[2] (void pcReplaceField(int)): Param_0.pcStateManager != null
    //#pre[4] (void pcReplaceField(int)): Param_1 - pcInheritedFieldCount in 0..4
    //#pre[10] (void pcReplaceField(int)): init'ed(pcInheritedFieldCount)
    //#presumption(void pcReplaceField(int)): org.apache.openjpa.enhance.StateManager:replaceObjectField(...).__Tag == org/apache/roller/weblogger/pojos/User
    //#presumption(void pcReplaceField(int)): org.apache.openjpa.enhance.StateManager:replaceObjectField(...).__Tag == org/apache/roller/weblogger/pojos/Weblog
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.id)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.pending)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.permissionMask)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.user)
    //#post(void pcReplaceField(int)): possibly_updated(Param_0.website)
    //#unanalyzed(void pcReplaceField(int)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void pcReplaceField(int)): Effects-of-calling:java.lang.String:length
    //#test_vector(void pcReplaceField(int)): Param_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcReplaceField(int)
    //#WeblogPermission.java:: ?precondition failure
    //#    org/apache/roller/weblogger/pojos/WeblogPermission.pcReplaceField: Param_1 - pcInheritedFieldCount in 0..4
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void pcReplaceFields(int[])
    //#    basic block: bb_2
    //#    assertion: Param_1[Local_2] - pcInheritedFieldCount in 0..4
    //#    callee: void org/apache/roller/weblogger/pojos/WeblogPermission.pcReplaceField(int)
    //#    callee assertion: Param_1 - pcInheritedFieldCount in 0..4
    //#    callee file: WeblogPermission.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 
    //#    VN: Param_1[Local_2] - pcInheritedFieldCount
    //#    Expected: {0..4}
    //#    Bad: {-6_442_450_943..-1, 5..6_442_450_943}
    //#    Attribs:  Int  Exp in +/-1000  Bad overlaps +/-1000  Bad < Exp  Bad > Exp
    //#input(void pcReplaceFields(int[])): Param_0
    //#input(void pcReplaceFields(int[])): Param_0.__Tag
    //#input(void pcReplaceFields(int[])): Param_0.pcStateManager
    //#input(void pcReplaceFields(int[])): Param_1
    //#input(void pcReplaceFields(int[])): Param_1.length
    //#input(void pcReplaceFields(int[])): Param_1[0..4_294_967_295]
    //#input(void pcReplaceFields(int[])): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogPermission]
    //#input(void pcReplaceFields(int[])): __Descendant_Table[others]
    //#input(void pcReplaceFields(int[])): __Dispatch_Table.pcReplaceField(I)V
    //#input(void pcReplaceFields(int[])): org/apache/roller/weblogger/pojos/User.__Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(void pcReplaceFields(int[])): org/apache/roller/weblogger/pojos/User.__Descendant_Table[others]
    //#input(void pcReplaceFields(int[])): org/apache/roller/weblogger/pojos/Weblog.__Descendant_Table[org/apache/roller/weblogger/pojos/Weblog]
    //#input(void pcReplaceFields(int[])): org/apache/roller/weblogger/pojos/Weblog.__Descendant_Table[others]
    //#input(void pcReplaceFields(int[])): pcInheritedFieldCount
    //#output(void pcReplaceFields(int[])): Param_0.id
    //#output(void pcReplaceFields(int[])): Param_0.pending
    //#output(void pcReplaceFields(int[])): Param_0.permissionMask
    //#output(void pcReplaceFields(int[])): Param_0.user
    //#output(void pcReplaceFields(int[])): Param_0.website
    //#pre[4] (void pcReplaceFields(int[])): Param_1 != null
    //#pre[5] (void pcReplaceFields(int[])): Param_1.length <= 4_294_967_295
    //#pre[2] (void pcReplaceFields(int[])): (soft) Param_0.__Tag == org/apache/roller/weblogger/pojos/WeblogPermission
    //#pre[3] (void pcReplaceFields(int[])): (soft) Param_0.pcStateManager != null
    //#pre[6] (void pcReplaceFields(int[])): (soft) init'ed(Param_1[0..4_294_967_295])
    //#pre[12] (void pcReplaceFields(int[])): (soft) init'ed(pcInheritedFieldCount)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.id)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.pending)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.permissionMask)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.user)
    //#post(void pcReplaceFields(int[])): possibly_updated(Param_0.website)
    //#unanalyzed(void pcReplaceFields(int[])): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void pcReplaceFields(int[])): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void pcReplaceFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:replaceStringField
    //#unanalyzed(void pcReplaceFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:replaceBooleanField
    //#unanalyzed(void pcReplaceFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:replaceShortField
    //#unanalyzed(void pcReplaceFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:replaceObjectField
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcReplaceFields(int[])
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:providedStringField(PersistenceCapable, int, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void pcProvideField(int)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:providedStringField(PersistenceCapable, int, String)
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:providedBooleanField(PersistenceCapable, int, bool)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void pcProvideField(int)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:providedBooleanField(PersistenceCapable, int, bool)
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:providedShortField(PersistenceCapable, int, short)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void pcProvideField(int)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:providedShortField(PersistenceCapable, int, short)
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:providedObjectField(PersistenceCapable, int, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void pcProvideField(int)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:providedObjectField(PersistenceCapable, int, Object)
    //#input(void pcProvideField(int)): Param_0
    //#input(void pcProvideField(int)): Param_0.id
    //#input(void pcProvideField(int)): Param_0.pcStateManager
    //#input(void pcProvideField(int)): Param_0.pending
    //#input(void pcProvideField(int)): Param_0.permissionMask
    //#input(void pcProvideField(int)): Param_0.user
    //#input(void pcProvideField(int)): Param_0.website
    //#input(void pcProvideField(int)): Param_1
    //#input(void pcProvideField(int)): pcInheritedFieldCount
    //#pre[3] (void pcProvideField(int)): Param_0.pcStateManager != null
    //#pre[9] (void pcProvideField(int)): Param_1 - pcInheritedFieldCount in 0..4
    //#pre[10] (void pcProvideField(int)): init'ed(pcInheritedFieldCount)
    //#pre[2] (void pcProvideField(int)): (soft) init'ed(Param_0.id)
    //#pre[4] (void pcProvideField(int)): (soft) init'ed(Param_0.pending)
    //#pre[5] (void pcProvideField(int)): (soft) init'ed(Param_0.permissionMask)
    //#pre[6] (void pcProvideField(int)): (soft) init'ed(Param_0.user)
    //#pre[7] (void pcProvideField(int)): (soft) init'ed(Param_0.website)
    //#test_vector(void pcProvideField(int)): Param_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcProvideField(int)
    //#WeblogPermission.java:: ?precondition failure
    //#    org/apache/roller/weblogger/pojos/WeblogPermission.pcProvideField: Param_1 - pcInheritedFieldCount in 0..4
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void pcProvideFields(int[])
    //#    basic block: bb_2
    //#    assertion: Param_1[Local_2] - pcInheritedFieldCount in 0..4
    //#    callee: void org/apache/roller/weblogger/pojos/WeblogPermission.pcProvideField(int)
    //#    callee assertion: Param_1 - pcInheritedFieldCount in 0..4
    //#    callee file: WeblogPermission.java
    //#    callee precondition index: [9]
    //#    callee srcpos: 
    //#    VN: Param_1[Local_2] - pcInheritedFieldCount
    //#    Expected: {0..4}
    //#    Bad: {-6_442_450_943..-1, 5..6_442_450_943}
    //#    Attribs:  Int  Exp in +/-1000  Bad overlaps +/-1000  Bad < Exp  Bad > Exp
    //#input(void pcProvideFields(int[])): Param_0
    //#input(void pcProvideFields(int[])): Param_0.__Tag
    //#input(void pcProvideFields(int[])): Param_0.id
    //#input(void pcProvideFields(int[])): Param_0.pcStateManager
    //#input(void pcProvideFields(int[])): Param_0.pending
    //#input(void pcProvideFields(int[])): Param_0.permissionMask
    //#input(void pcProvideFields(int[])): Param_0.user
    //#input(void pcProvideFields(int[])): Param_0.website
    //#input(void pcProvideFields(int[])): Param_1
    //#input(void pcProvideFields(int[])): Param_1.length
    //#input(void pcProvideFields(int[])): Param_1[0..4_294_967_295]
    //#input(void pcProvideFields(int[])): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogPermission]
    //#input(void pcProvideFields(int[])): __Descendant_Table[others]
    //#input(void pcProvideFields(int[])): __Dispatch_Table.pcProvideField(I)V
    //#input(void pcProvideFields(int[])): pcInheritedFieldCount
    //#pre[9] (void pcProvideFields(int[])): Param_1 != null
    //#pre[10] (void pcProvideFields(int[])): Param_1.length <= 4_294_967_295
    //#pre[2] (void pcProvideFields(int[])): (soft) Param_0.__Tag == org/apache/roller/weblogger/pojos/WeblogPermission
    //#pre[3] (void pcProvideFields(int[])): (soft) init'ed(Param_0.id)
    //#pre[4] (void pcProvideFields(int[])): (soft) Param_0.pcStateManager != null
    //#pre[5] (void pcProvideFields(int[])): (soft) init'ed(Param_0.pending)
    //#pre[6] (void pcProvideFields(int[])): (soft) init'ed(Param_0.permissionMask)
    //#pre[7] (void pcProvideFields(int[])): (soft) init'ed(Param_0.user)
    //#pre[8] (void pcProvideFields(int[])): (soft) init'ed(Param_0.website)
    //#pre[11] (void pcProvideFields(int[])): (soft) init'ed(Param_1[0..4_294_967_295])
    //#pre[12] (void pcProvideFields(int[])): (soft) init'ed(pcInheritedFieldCount)
    //#unanalyzed(void pcProvideFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:providedStringField
    //#unanalyzed(void pcProvideFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:providedBooleanField
    //#unanalyzed(void pcProvideFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:providedShortField
    //#unanalyzed(void pcProvideFields(int[])): Effects-of-calling:org.apache.openjpa.enhance.StateManager:providedObjectField
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcProvideFields(int[])
    //#input(void pcCopyField(WeblogPermission, int)): Param_0
    //#input(void pcCopyField(WeblogPermission, int)): Param_1
    //#input(void pcCopyField(WeblogPermission, int)): Param_1.id
    //#input(void pcCopyField(WeblogPermission, int)): Param_1.pending
    //#input(void pcCopyField(WeblogPermission, int)): Param_1.permissionMask
    //#input(void pcCopyField(WeblogPermission, int)): Param_1.user
    //#input(void pcCopyField(WeblogPermission, int)): Param_1.website
    //#input(void pcCopyField(WeblogPermission, int)): Param_2
    //#input(void pcCopyField(WeblogPermission, int)): pcInheritedFieldCount
    //#output(void pcCopyField(WeblogPermission, int)): Param_0.id
    //#output(void pcCopyField(WeblogPermission, int)): Param_0.pending
    //#output(void pcCopyField(WeblogPermission, int)): Param_0.permissionMask
    //#output(void pcCopyField(WeblogPermission, int)): Param_0.user
    //#output(void pcCopyField(WeblogPermission, int)): Param_0.website
    //#pre[2] (void pcCopyField(WeblogPermission, int)): Param_1 != null
    //#pre[9] (void pcCopyField(WeblogPermission, int)): Param_2 - pcInheritedFieldCount in 0..4
    //#pre[15] (void pcCopyField(WeblogPermission, int)): init'ed(pcInheritedFieldCount)
    //#pre[3] (void pcCopyField(WeblogPermission, int)): (soft) init'ed(Param_1.id)
    //#pre[4] (void pcCopyField(WeblogPermission, int)): (soft) init'ed(Param_1.pending)
    //#pre[5] (void pcCopyField(WeblogPermission, int)): (soft) init'ed(Param_1.permissionMask)
    //#pre[6] (void pcCopyField(WeblogPermission, int)): (soft) init'ed(Param_1.user)
    //#pre[7] (void pcCopyField(WeblogPermission, int)): (soft) init'ed(Param_1.website)
    //#post(void pcCopyField(WeblogPermission, int)): Param_0.id == One-of{old Param_0.id, Param_1.id}
    //#post(void pcCopyField(WeblogPermission, int)): possibly_updated(Param_0.pending)
    //#post(void pcCopyField(WeblogPermission, int)): Param_0.permissionMask == One-of{old Param_0.permissionMask, Param_1.permissionMask}
    //#post(void pcCopyField(WeblogPermission, int)): Param_0.user == One-of{old Param_0.user, Param_1.user}
    //#post(void pcCopyField(WeblogPermission, int)): Param_0.website == One-of{old Param_0.website, Param_1.website}
    //#unanalyzed(void pcCopyField(WeblogPermission, int)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void pcCopyField(WeblogPermission, int)): Effects-of-calling:java.lang.String:length
    //#test_vector(void pcCopyField(WeblogPermission, int)): Param_2 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcCopyField(WeblogPermission, int)
    //#WeblogPermission.java:: ?precondition failure
    //#    org/apache/roller/weblogger/pojos/WeblogPermission.pcCopyField: Param_2 - pcInheritedFieldCount in 0..4
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void pcCopyFields(Object, int[])
    //#    basic block: bb_2
    //#    assertion: Param_2[Local_4] - pcInheritedFieldCount in 0..4
    //#    callee: void org/apache/roller/weblogger/pojos/WeblogPermission.pcCopyField(WeblogPermission, int)
    //#    callee assertion: Param_2 - pcInheritedFieldCount in 0..4
    //#    callee file: WeblogPermission.java
    //#    callee precondition index: [9]
    //#    callee srcpos: 
    //#    VN: Param_2[Local_4] - pcInheritedFieldCount
    //#    Expected: {0..4}
    //#    Bad: {-6_442_450_943..-1, 5..6_442_450_943}
    //#    Attribs:  Int  Exp in +/-1000  Bad overlaps +/-1000  Bad < Exp  Bad > Exp
    //#input(void pcCopyFields(Object, int[])): Param_0
    //#input(void pcCopyFields(Object, int[])): Param_0.__Tag
    //#input(void pcCopyFields(Object, int[])): Param_0.pcStateManager
    //#input(void pcCopyFields(Object, int[])): Param_1
    //#input(void pcCopyFields(Object, int[])): Param_1.__Tag
    //#input(void pcCopyFields(Object, int[])): Param_1.id
    //#input(void pcCopyFields(Object, int[])): Param_1.pcStateManager
    //#input(void pcCopyFields(Object, int[])): Param_1.pending
    //#input(void pcCopyFields(Object, int[])): Param_1.permissionMask
    //#input(void pcCopyFields(Object, int[])): Param_1.user
    //#input(void pcCopyFields(Object, int[])): Param_1.website
    //#input(void pcCopyFields(Object, int[])): Param_2
    //#input(void pcCopyFields(Object, int[])): Param_2.length
    //#input(void pcCopyFields(Object, int[])): Param_2[0..4_294_967_295]
    //#input(void pcCopyFields(Object, int[])): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogPermission]
    //#input(void pcCopyFields(Object, int[])): __Descendant_Table[others]
    //#input(void pcCopyFields(Object, int[])): __Dispatch_Table.pcCopyField(Lorg/apache/roller/weblogger/pojos/WeblogPermission;I)V
    //#input(void pcCopyFields(Object, int[])): pcInheritedFieldCount
    //#output(void pcCopyFields(Object, int[])): Param_0.id
    //#output(void pcCopyFields(Object, int[])): Param_0.pending
    //#output(void pcCopyFields(Object, int[])): Param_0.permissionMask
    //#output(void pcCopyFields(Object, int[])): Param_0.user
    //#output(void pcCopyFields(Object, int[])): Param_0.website
    //#pre[3] (void pcCopyFields(Object, int[])): Param_0.pcStateManager != null
    //#pre[4] (void pcCopyFields(Object, int[])): Param_0.pcStateManager == Param_1.pcStateManager
    //#pre[5] (void pcCopyFields(Object, int[])): Param_1 != null
    //#pre[7] (void pcCopyFields(Object, int[])): Param_1.__Tag == org/apache/roller/weblogger/pojos/WeblogPermission
    //#pre[9] (void pcCopyFields(Object, int[])): Param_1.pcStateManager != null
    //#pre[14] (void pcCopyFields(Object, int[])): Param_2 != null
    //#pre[15] (void pcCopyFields(Object, int[])): Param_2.length <= 4_294_967_295
    //#pre[2] (void pcCopyFields(Object, int[])): (soft) Param_0.__Tag == org/apache/roller/weblogger/pojos/WeblogPermission
    //#pre[8] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.id)
    //#pre[10] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.pending)
    //#pre[11] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.permissionMask)
    //#pre[12] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.user)
    //#pre[13] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_1.website)
    //#pre[16] (void pcCopyFields(Object, int[])): (soft) init'ed(Param_2[0..4_294_967_295])
    //#pre[22] (void pcCopyFields(Object, int[])): (soft) init'ed(pcInheritedFieldCount)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.id)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.pending)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.permissionMask)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.user)
    //#post(void pcCopyFields(Object, int[])): possibly_updated(Param_0.website)
    //#unanalyzed(void pcCopyFields(Object, int[])): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void pcCopyFields(Object, int[])): Effects-of-calling:java.lang.String:length
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcCopyFields(Object, int[])
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:getGenericContext()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: Object pcGetGenericContext()
    //#    unanalyzed callee: Object org.apache.openjpa.enhance.StateManager:getGenericContext()
    //#input(Object pcGetGenericContext()): Param_0
    //#input(Object pcGetGenericContext()): Param_0.pcStateManager
    //#output(Object pcGetGenericContext()): return_value
    //#pre[2] (Object pcGetGenericContext()): init'ed(Param_0.pcStateManager)
    //#post(Object pcGetGenericContext()): init'ed(return_value)
    //#test_vector(Object pcGetGenericContext()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogPermission.pcGetGenericContext()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:fetchObjectId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: Object pcFetchObjectId()
    //#    unanalyzed callee: Object org.apache.openjpa.enhance.StateManager:fetchObjectId()
    //#input(Object pcFetchObjectId()): Param_0
    //#input(Object pcFetchObjectId()): Param_0.pcStateManager
    //#output(Object pcFetchObjectId()): return_value
    //#pre[2] (Object pcFetchObjectId()): init'ed(Param_0.pcStateManager)
    //#post(Object pcFetchObjectId()): init'ed(return_value)
    //#test_vector(Object pcFetchObjectId()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogPermission.pcFetchObjectId()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isDeleted()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: bool pcIsDeleted()
    //#    unanalyzed callee: bool org.apache.openjpa.enhance.StateManager:isDeleted()
    //#input(bool pcIsDeleted()): Param_0
    //#input(bool pcIsDeleted()): Param_0.pcStateManager
    //#output(bool pcIsDeleted()): return_value
    //#pre[2] (bool pcIsDeleted()): init'ed(Param_0.pcStateManager)
    //#post(bool pcIsDeleted()): init'ed(return_value)
    //#test_vector(bool pcIsDeleted()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogPermission.pcIsDeleted()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isDirty()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: bool pcIsDirty()
    //#    unanalyzed callee: bool org.apache.openjpa.enhance.StateManager:isDirty()
    //#input(bool pcIsDirty()): Param_0
    //#input(bool pcIsDirty()): Param_0.pcStateManager
    //#output(bool pcIsDirty()): return_value
    //#pre[2] (bool pcIsDirty()): init'ed(Param_0.pcStateManager)
    //#post(bool pcIsDirty()): init'ed(return_value)
    //#test_vector(bool pcIsDirty()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogPermission.pcIsDirty()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isNew()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: bool pcIsNew()
    //#    unanalyzed callee: bool org.apache.openjpa.enhance.StateManager:isNew()
    //#input(bool pcIsNew()): Param_0
    //#input(bool pcIsNew()): Param_0.pcStateManager
    //#output(bool pcIsNew()): return_value
    //#pre[2] (bool pcIsNew()): init'ed(Param_0.pcStateManager)
    //#post(bool pcIsNew()): init'ed(return_value)
    //#test_vector(bool pcIsNew()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogPermission.pcIsNew()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isPersistent()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: bool pcIsPersistent()
    //#    unanalyzed callee: bool org.apache.openjpa.enhance.StateManager:isPersistent()
    //#input(bool pcIsPersistent()): Param_0
    //#input(bool pcIsPersistent()): Param_0.pcStateManager
    //#output(bool pcIsPersistent()): return_value
    //#pre[2] (bool pcIsPersistent()): init'ed(Param_0.pcStateManager)
    //#post(bool pcIsPersistent()): init'ed(return_value)
    //#test_vector(bool pcIsPersistent()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogPermission.pcIsPersistent()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isTransactional()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: bool pcIsTransactional()
    //#    unanalyzed callee: bool org.apache.openjpa.enhance.StateManager:isTransactional()
    //#input(bool pcIsTransactional()): Param_0
    //#input(bool pcIsTransactional()): Param_0.pcStateManager
    //#output(bool pcIsTransactional()): return_value
    //#pre[2] (bool pcIsTransactional()): init'ed(Param_0.pcStateManager)
    //#post(bool pcIsTransactional()): init'ed(return_value)
    //#test_vector(bool pcIsTransactional()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogPermission.pcIsTransactional()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:serializing()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: bool pcSerializing()
    //#    unanalyzed callee: bool org.apache.openjpa.enhance.StateManager:serializing()
    //#input(bool pcSerializing()): Param_0
    //#input(bool pcSerializing()): Param_0.pcStateManager
    //#output(bool pcSerializing()): return_value
    //#pre[2] (bool pcSerializing()): init'ed(Param_0.pcStateManager)
    //#post(bool pcSerializing()): init'ed(return_value)
    //#test_vector(bool pcSerializing()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: bool org.apache.roller.weblogger.pojos.WeblogPermission.pcSerializing()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.StateManager:dirty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void pcDirty(String)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.StateManager:dirty(String)
    //#input(void pcDirty(String)): Param_0
    //#input(void pcDirty(String)): Param_0.pcStateManager
    //#input(void pcDirty(String)): Param_1
    //#pre[2] (void pcDirty(String)): init'ed(Param_0.pcStateManager)
    //#test_vector(void pcDirty(String)): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcDirty(String)
    //#input(StateManager pcGetStateManager()): Param_0
    //#input(StateManager pcGetStateManager()): Param_0.pcStateManager
    //#output(StateManager pcGetStateManager()): return_value
    //#pre[2] (StateManager pcGetStateManager()): init'ed(Param_0.pcStateManager)
    //#post(StateManager pcGetStateManager()): return_value == Param_0.pcStateManager
    //#post(StateManager pcGetStateManager()): init'ed(return_value)
    //#WeblogPermission.java:: end of method: StateManager org.apache.roller.weblogger.pojos.WeblogPermission.pcGetStateManager()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on Object org.apache.openjpa.enhance.StateManager:getVersion()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: Object pcGetVersion()
    //#    unanalyzed callee: Object org.apache.openjpa.enhance.StateManager:getVersion()
    //#input(Object pcGetVersion()): Param_0
    //#input(Object pcGetVersion()): Param_0.pcStateManager
    //#output(Object pcGetVersion()): return_value
    //#pre[2] (Object pcGetVersion()): init'ed(Param_0.pcStateManager)
    //#post(Object pcGetVersion()): init'ed(return_value)
    //#test_vector(Object pcGetVersion()): Param_0.pcStateManager: Inverse{null}, Addr_Set{null}
    //#WeblogPermission.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogPermission.pcGetVersion()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on StateManager org.apache.openjpa.enhance.StateManager:replaceStateManager(StateManager)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void pcReplaceStateManager(StateManager)
    //#    unanalyzed callee: StateManager org.apache.openjpa.enhance.StateManager:replaceStateManager(StateManager)
    //#input(void pcReplaceStateManager(StateManager)): Param_0
    //#input(void pcReplaceStateManager(StateManager)): Param_0.pcStateManager
    //#input(void pcReplaceStateManager(StateManager)): Param_1
    //#output(void pcReplaceStateManager(StateManager)): Param_0.pcStateManager
    //#pre[3] (void pcReplaceStateManager(StateManager)): init'ed(Param_0.pcStateManager)
    //#post(void pcReplaceStateManager(StateManager)): init'ed(Param_0.pcStateManager)
    //#test_vector(void pcReplaceStateManager(StateManager)): Param_0.pcStateManager: Addr_Set{null}, Inverse{null}
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcReplaceStateManager(StateManager)
    //#WeblogPermission.java:: ?check always fails: void pcCopyKeyFieldsToObjectId(FieldSupplier, Object) always ends with an exception
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcCopyKeyFieldsToObjectId(FieldSupplier, Object)
    //#WeblogPermission.java:: ?check always fails: void pcCopyKeyFieldsToObjectId(Object) always ends with an exception
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcCopyKeyFieldsToObjectId(Object)
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on String org.apache.openjpa.util.StringId:getId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#    unanalyzed callee: String org.apache.openjpa.util.StringId:getId()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.enhance.FieldConsumer:storeStringField(int, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#    unanalyzed callee: void org.apache.openjpa.enhance.FieldConsumer:storeStringField(int, String)
    //#input(void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): Param_1
    //#input(void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): Param_2
    //#input(void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): pcInheritedFieldCount
    //#pre[1] (void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): Param_1 != null
    //#pre[2] (void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): Param_2 != null
    //#pre[3] (void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)): init'ed(pcInheritedFieldCount)
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on String org.apache.openjpa.util.StringId:getId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: void pcCopyKeyFieldsFromObjectId(Object)
    //#    unanalyzed callee: String org.apache.openjpa.util.StringId:getId()
    //#input(void pcCopyKeyFieldsFromObjectId(Object)): Param_0
    //#input(void pcCopyKeyFieldsFromObjectId(Object)): Param_1
    //#output(void pcCopyKeyFieldsFromObjectId(Object)): Param_0.id
    //#pre[2] (void pcCopyKeyFieldsFromObjectId(Object)): Param_1 != null
    //#post(void pcCopyKeyFieldsFromObjectId(Object)): possibly_updated(Param_0.id)
    //#unanalyzed(void pcCopyKeyFieldsFromObjectId(Object)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void pcCopyKeyFieldsFromObjectId(Object)): Effects-of-calling:java.lang.String:length
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcCopyKeyFieldsFromObjectId(Object)
    //#WeblogPermission.java:: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/WeblogPermission.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: Object pcNewObjectIdInstance(Object)
    //#    from bb: Entry_BB_1
    //#    live edge: Entry_BB_1-->bb_2
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.util.StringId(Class, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: Object pcNewObjectIdInstance(Object)
    //#    unanalyzed callee: void org.apache.openjpa.util.StringId(Class, String)
    //#input(Object pcNewObjectIdInstance(Object)): Param_1
    //#output(Object pcNewObjectIdInstance(Object)): class$Lorg$apache$roller$weblogger$pojos$WeblogPermission
    //#output(Object pcNewObjectIdInstance(Object)): new StringId(pcNewObjectIdInstance#1) num objects
    //#output(Object pcNewObjectIdInstance(Object)): return_value
    //#new obj(Object pcNewObjectIdInstance(Object)): new StringId(pcNewObjectIdInstance#1)
    //#post(Object pcNewObjectIdInstance(Object)): class$Lorg$apache$roller$weblogger$pojos$WeblogPermission == old class$Lorg$apache$roller$weblogger$pojos$WeblogPermission
    //#post(Object pcNewObjectIdInstance(Object)): return_value == &new StringId(pcNewObjectIdInstance#1)
    //#post(Object pcNewObjectIdInstance(Object)): new StringId(pcNewObjectIdInstance#1) num objects == 1
    //#unanalyzed(Object pcNewObjectIdInstance(Object)): Effects-of-calling:java.lang.Class:forName
    //#unanalyzed(Object pcNewObjectIdInstance(Object)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(Object pcNewObjectIdInstance(Object)): Effects-of-calling:java.lang.Throwable:getMessage
    //#unanalyzed(Object pcNewObjectIdInstance(Object)): Effects-of-calling:java.lang.NoClassDefFoundError
    //#WeblogPermission.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogPermission.pcNewObjectIdInstance(Object)
    //#WeblogPermission.java:: Warning: test always goes same way
    //#    test predetermined because &Lorg/apache/roller/weblogger/pojos/WeblogPermission.__Class_Obj != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: Object pcNewObjectIdInstance()
    //#    from bb: Entry_BB_1
    //#    live edge: Entry_BB_1-->bb_2
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on void org.apache.openjpa.util.StringId(Class, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: Object pcNewObjectIdInstance()
    //#    unanalyzed callee: void org.apache.openjpa.util.StringId(Class, String)
    //#input(Object pcNewObjectIdInstance()): Param_0
    //#input(Object pcNewObjectIdInstance()): Param_0.id
    //#output(Object pcNewObjectIdInstance()): class$Lorg$apache$roller$weblogger$pojos$WeblogPermission
    //#output(Object pcNewObjectIdInstance()): new StringId(pcNewObjectIdInstance#1) num objects
    //#output(Object pcNewObjectIdInstance()): return_value
    //#new obj(Object pcNewObjectIdInstance()): new StringId(pcNewObjectIdInstance#1)
    //#pre[2] (Object pcNewObjectIdInstance()): init'ed(Param_0.id)
    //#post(Object pcNewObjectIdInstance()): class$Lorg$apache$roller$weblogger$pojos$WeblogPermission == old class$Lorg$apache$roller$weblogger$pojos$WeblogPermission
    //#post(Object pcNewObjectIdInstance()): return_value == &new StringId(pcNewObjectIdInstance#1)
    //#post(Object pcNewObjectIdInstance()): new StringId(pcNewObjectIdInstance#1) num objects == 1
    //#unanalyzed(Object pcNewObjectIdInstance()): Effects-of-calling:java.lang.Class:forName
    //#unanalyzed(Object pcNewObjectIdInstance()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(Object pcNewObjectIdInstance()): Effects-of-calling:java.lang.Throwable:getMessage
    //#unanalyzed(Object pcNewObjectIdInstance()): Effects-of-calling:java.lang.NoClassDefFoundError
    //#WeblogPermission.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogPermission.pcNewObjectIdInstance()
    //#WeblogPermission.java:: Warning: method not available
    //#    -- call on bool org.apache.openjpa.enhance.StateManager:isDetached()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.WeblogPermission
    //#    method: Boolean pcIsDetached()
    //#    unanalyzed callee: bool org.apache.openjpa.enhance.StateManager:isDetached()
    //#input(Boolean pcIsDetached()): Param_0
    //#input(Boolean pcIsDetached()): Param_0.__Tag
    //#input(Boolean pcIsDetached()): Param_0.pcDetachedState
    //#input(Boolean pcIsDetached()): Param_0.pcStateManager
    //#input(Boolean pcIsDetached()): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogPermission]
    //#input(Boolean pcIsDetached()): __Descendant_Table[others]
    //#input(Boolean pcIsDetached()): __Dispatch_Table.pcGetDetachedState()Ljava/lang/Object;
    //#input(Boolean pcIsDetached()): java.lang.Boolean.FALSE
    //#input(Boolean pcIsDetached()): java.lang.Boolean.TRUE
    //#input(Boolean pcIsDetached()): org.apache.openjpa.enhance.PersistenceCapable.DESERIALIZED
    //#output(Boolean pcIsDetached()): return_value
    //#pre[5] (Boolean pcIsDetached()): init'ed(Param_0.pcStateManager)
    //#pre[3] (Boolean pcIsDetached()): (soft) Param_0.__Tag == org/apache/roller/weblogger/pojos/WeblogPermission
    //#pre[4] (Boolean pcIsDetached()): (soft) init'ed(Param_0.pcDetachedState)
    //#presumption(Boolean pcIsDetached()): init'ed(java.lang.Boolean.FALSE)
    //#presumption(Boolean pcIsDetached()): init'ed(java.lang.Boolean.TRUE)
    //#presumption(Boolean pcIsDetached()): init'ed(org.apache.openjpa.enhance.PersistenceCapable.DESERIALIZED)
    //#post(Boolean pcIsDetached()): return_value == One-of{java.lang.Boolean.TRUE, java.lang.Boolean.FALSE}
    //#post(Boolean pcIsDetached()): (soft) init'ed(return_value)
    //#test_vector(Boolean pcIsDetached()): Param_0.pcDetachedState: Addr_Set{null}, Inverse{null}
    //#test_vector(Boolean pcIsDetached()): Param_0.pcStateManager: Addr_Set{null}, Inverse{null}
    //#test_vector(Boolean pcIsDetached()): org.apache.openjpa.enhance.StateManager:isDetached(...): {0}, {1}
    //#WeblogPermission.java:: end of method: Boolean org.apache.roller.weblogger.pojos.WeblogPermission.pcIsDetached()
    //#input(Object pcGetDetachedState()): Param_0
    //#input(Object pcGetDetachedState()): Param_0.pcDetachedState
    //#output(Object pcGetDetachedState()): return_value
    //#pre[2] (Object pcGetDetachedState()): init'ed(Param_0.pcDetachedState)
    //#post(Object pcGetDetachedState()): return_value == Param_0.pcDetachedState
    //#post(Object pcGetDetachedState()): init'ed(return_value)
    //#WeblogPermission.java:: end of method: Object org.apache.roller.weblogger.pojos.WeblogPermission.pcGetDetachedState()
    //#input(void pcSetDetachedState(Object)): Param_0
    //#input(void pcSetDetachedState(Object)): Param_1
    //#output(void pcSetDetachedState(Object)): Param_0.pcDetachedState
    //#post(void pcSetDetachedState(Object)): Param_0.pcDetachedState == Param_1
    //#post(void pcSetDetachedState(Object)): init'ed(Param_0.pcDetachedState)
    //#WeblogPermission.java:: end of method: void org.apache.roller.weblogger.pojos.WeblogPermission.pcSetDetachedState(Object)
    //#WeblogPermission.java:: end of class: org.apache.roller.weblogger.pojos.WeblogPermission
