pnever      02/02/26 03:54:25

  Modified:    src/webdav/server/org/apache/slide/webdav/util
                        DeltavConstants.java
  Log:
  Added constants for pre and postconditions
  
  Revision  Changes    Path
  1.4       +127 -6    
jakarta-slide/src/webdav/server/org/apache/slide/webdav/util/DeltavConstants.java
  
  Index: DeltavConstants.java
  ===================================================================
  RCS file: 
/home/cvs/jakarta-slide/src/webdav/server/org/apache/slide/webdav/util/DeltavConstants.java,v
  retrieving revision 1.3
  retrieving revision 1.4
  diff -u -r1.3 -r1.4
  --- DeltavConstants.java      23 Feb 2002 12:35:43 -0000      1.3
  +++ DeltavConstants.java      26 Feb 2002 11:54:24 -0000      1.4
  @@ -1,7 +1,7 @@
   /*
  - * $Header: 
/home/cvs/jakarta-slide/src/webdav/server/org/apache/slide/webdav/util/DeltavConstants.java,v
 1.3 2002/02/23 12:35:43 pnever Exp $
  - * $Revision: 1.3 $
  - * $Date: 2002/02/23 12:35:43 $
  + * $Header: 
/home/cvs/jakarta-slide/src/webdav/server/org/apache/slide/webdav/util/DeltavConstants.java,v
 1.4 2002/02/26 11:54:24 pnever Exp $
  + * $Revision: 1.4 $
  + * $Date: 2002/02/26 11:54:24 $
    *
    * ====================================================================
    *
  @@ -71,7 +71,7 @@
   public interface DeltavConstants extends WebdavConstants {
       
       /** Internal constants */
  -    String I_NEXT_HISTORY_NAME                            = "next-history-name"; 
//live non-RFC property
  +    String I_NEXT_HISTORY_NAME                                            = 
"next-history-name"; //property
       String I_INITIAL_HISTORY_NAME                         = "1";
       
       /** Resource Kinds */
  @@ -91,7 +91,6 @@
       String K_VERSION_CONTROLLED_CONFIGURATION             = 
"Version_Controlled_Configuration";
       String K_VERSION_HISTORY                              = "Version_History";
       String K_VERSIONABLE                                  = "Versionable";
  -    String K_NOT_VERSIONABLE                              = "Not_Versionable";
       String K_WORKING                                      = "Working";
       String K_WORKSPACE                                    = "Workspace";
   
  @@ -197,12 +196,134 @@
       String M_UPDATE                                       = "UPDATE";
       String M_VERSION_CONTROL                              = "VERSION-CONTROL";
   
  -    /** Reposrts */
  +    /** Reports */
       String R_COMPARE_BASELINE                             = "compare-baseline";
       String R_EXPAND_PROPERTY                              = "expand-property";
       String R_LATEST_ACTIVITY_VERSION                      = 
"latest-activity-version";
       String R_LOCATE_BY_HISTORY                            = "locate-by-history";
       String R_MERGE_PREVIEW                                = "merge-preview";
       String R_VERSION_TREE                                 = "version-tree";
  +
  +    /** Pre- and postconditions */
  +    String C_ACTIVITY_CHECKIN                                             = 
"activity_checkin";
  +    String C_ACTIVITY_LOCATION_OK                                         = 
"activity_location_ok";
  +    String C_ADD_MUST_BE_NEW_LABEL                                        = 
"add_must_be_new_label";
  +    String C_ADD_OR_SET_LABEL                                             = 
"add_or_set_label";
  +    String C_ADD_TO_HISTORY                                               = 
"add_to_history";
  +    String C_ANCESTOR_VERSION                                             = 
"ancestor_version";
  +    String C_APPLY_REQUEST_TO_LABELED_VERSION                             = 
"apply_request_to_labeled_version";
  +    String C_ATOMIC_ACTIVITY_CHECKIN                                      = 
"atomic_activity_checkin";
  +    String C_AUTO_CHECKIN                                                 = 
"auto_checkin";
  +    String C_AUTO_CHECKOUT                                                = 
"auto_checkout";
  +    String C_AUTO_CHECKOUT_CHECKIN                                        = 
"auto_checkout_checkin";
  +    String C_AUTO_UPDATE                                                  = 
"auto_update";
  +    String C_BASELINE_CONTROLLED_MEMBERS_MUST_BE_CHECKED_IN               = 
"baseline_controlled_members_must_be_checked_in";
  +    String C_BASELINES_FROM_SAME_HISTORY                                  = 
"baselines_from_same_history";
  +    String C_CANCEL_CHECKED_OUT                                           = 
"cancel_checked_out";
  +    String C_CANNOT_ADD_TO_EXISTING_HISTORY                               = 
"cannot_add_to_existing_history";
  +    String C_CANNOT_COPY_COLLECTION_VERSION                               = 
"cannot_copy_collection_version";
  +    String C_CANNOT_COPY_HISTORY                                          = 
"cannot_copy_history";
  +    String C_CANNOT_MERGE_CHECKED_OUT_RESOURCE                            = 
"cannot_merge_checked_out_resource";
  +    String C_CANNOT_MODIFY_CHECKED_IN_PARENT                              = 
"cannot_modify_checked_in_parent";
  +    String C_CANNOT_MODIFY_DESTINATION_CHECKED_IN_PARENT                  = 
"cannot_modify_destination_checked_in_parent";
  +    String C_CANNOT_MODIFY_PROTECTED_PROPERTY                             = 
"cannot_modify_protected_property";
  +    String C_CANNOT_MODIFY_VERSION                                        = 
"cannot_modify_version";
  +    String C_CANNOT_MODIFY_VERSION_CONTROLLED_CONFIGURATION               = 
"cannot_modify_version_controlled_configuration";
  +    String C_CANNOT_MODIFY_VERSION_CONTROLLED_CONTENT                     = 
"cannot_modify_version_controlled_content";
  +    String C_CANNOT_MODIFY_VERSION_CONTROLLED_PROPERTY                    = 
"cannot_modify_version_controlled_property";
  +    String C_CANNOT_RENAME_HISTORY                                        = 
"cannot_rename_history";
  +    String C_CANNOT_RENAME_VERSION                                        = 
"cannot_rename_version";
  +    String C_CANNOT_RENAME_WORKING_RESOURCE                               = 
"cannot_rename_working_resource";
  +    String C_CHECKED_IN                                                   = 
"checked_in";
  +    String C_CHECKED_OUT_FOR_MERGE                                        = 
"checked_out_for_merge";
  +    String C_CHECKIN_ACTIVITY                                             = 
"checkin_activity";
  +    String C_CHECKIN_FORK_DISCOURAGED                                     = 
"checkin_fork_discouraged";
  +    String C_CHECKIN_FORK_FORBIDDEN                                       = 
"checkin_fork_forbidden";
  +    String C_CHECKOUT_NOT_ALLOWED                                         = 
"checkout_not_allowed";
  +    String C_CHECKOUT_OF_CHECKED_OUT_VERSION_IS_DISCOURAGED               = 
"checkout_of_checked_out_version_is_discouraged";
  +    String C_CHECKOUT_OF_CHECKED_OUT_VERSION_IS_FORBIDDEN                 = 
"checkout_of_checked_out_version_is_forbidden";
  +    String C_CHECKOUT_OF_VERSION_WITH_DESCENDANT_IS_DISCOURAGED           = 
"checkout_of_version_with_descendant_is_discouraged";
  +    String C_CHECKOUT_OF_VERSION_WITH_DESCENDANT_IS_FORBIDDEN             = 
"checkout_of_version_with_descendant_is_forbidden";
  +    String C_COPY_CREATES_NEW_RESOURCE                                    = 
"copy_creates_new_resource";
  +    String C_CREATE_BASELINE_COLLECTION                                   = 
"create_baseline_collection";
  +    String C_CREATE_NEW_BASELINE                                          = 
"create_new_baseline";
  +    String C_CREATE_VERSION                                               = 
"create_version";
  +    String C_CREATE_VERSION_CONTROLLED_CONFIGURATION                      = 
"create_version_controlled_configuration";
  +    String C_CREATE_WORKING_RESOURCE                                      = 
"create_working_resource";
  +    String C_CREATE_WORKING_RESOURCE_FROM_CHECKED_IN_VERSION              = 
"create_working_resource_from_checked_in_version";
  +    String C_DELETE_ACTIVITY_REFERENCE                                    = 
"delete_activity_reference";
  +    String C_DELETE_VERSION_REFERENCE                                     = 
"delete_version_reference";
  +    String C_DELETE_VERSION_SET                                           = 
"delete_version_set";
  +    String C_DELETE_WORKING_RESOURCE                                      = 
"delete_working_resource";
  +    String C_DELETE_WORKSPACE_MEMBERS                                     = 
"delete_workspace_members";
  +    String C_DEPTH_UPDATE                                                 = 
"depth_update";
  +    String C_DESCENDANT_VERSION                                           = 
"descendant_version";
  +    String C_INITIALIZE_ACTIVITY                                          = 
"initialize_activity";
  +    String C_INITIALIZE_ACTIVITY_SET                                      = 
"initialize_activity_set";
  +    String C_INITIALIZE_PREDECESSOR_SET                                   = 
"initialize_predecessor_set";
  +    String C_INITIALIZE_UNRESERVED                                        = 
"initialize_unreserved";
  +    String C_INITIALIZE_VERSION_CONTENT_AND_PROPERTIES                    = 
"initialize_version_content_and_properties";
  +    String C_INITIALIZE_VERSION_CONTROLLED_BINDINGS                       = 
"initialize_version_controlled_bindings";
  +    String C_INITIALIZE_VERSION_HISTORY_BINDINGS                          = 
"initialize_version_history_bindings";
  +    String C_INITIALIZE_WORKSPACE                                         = 
"initialize_workspace";
  +    String C_IS_CHECKED_OUT                                               = 
"is_checked_out";
  +    String C_KEEP_CHECKED_OUT                                             = 
"keep_checked_out";
  +    String C_LABEL_MUST_EXIST                                             = 
"label_must_exist";
  +    String C_LINEAR_ACTIVITY                                              = 
"linear_activity";
  +    String C_MERGE_BASELINE                                               = 
"merge_baseline";
  +    String C_MERGE_MUST_BE_COMPLETE                                       = 
"merge_must_be_complete";
  +    String C_MERGE_SUBBASELINES                                           = 
"merge_subbaselines";
  +    String C_MODIFY_CONFIGURATION                                         = 
"modify_configuration";
  +    String C_MUST_BE_ACTIVITY                                             = 
"must_be_activity";
  +    String C_MUST_BE_BASELINE                                             = 
"must_be_baseline";
  +    String C_MUST_BE_CHECKED_IN                                           = 
"must_be_checked_in";
  +    String C_MUST_BE_CHECKED_OUT                                          = 
"must_be_checked_out";
  +    String C_MUST_BE_CHECKED_OUT_VERSION_CONTROLLED_RESOURCE              = 
"must_be_checked_out_version_controlled_resource";
  +    String C_MUST_BE_VERSION                                              = 
"must_be_version";
  +    String C_MUST_BE_VERSION_HISTORY                                      = 
"must_be_version_history";
  +    String C_MUST_HAVE_NO_VERSION_CONTROLLED_MEMBERS                      = 
"must_have_no_version_controlled_members";
  +    String C_MUST_NOT_CHANGE_EXISTING_CHECKED_IN_OUT                      = 
"must_not_change_existing_checked_in_out";
  +    String C_MUST_NOT_COPY_VERSIONING_PROPERTY                            = 
"must_not_copy_versioning_property";
  +    String C_MUST_NOT_HAVE_LABEL_AND_APPLY_TO_VERSION                     = 
"must_not_have_label_and_apply_to_version";
  +    String C_MUST_NOT_UPDATE_BASELINE_COLLECTION                          = 
"must_not_update_baseline_collection";
  +    String C_MUST_SELECT_VERSION_IN_HISTORY                               = 
"must_select_version_in_history";
  +    String C_NEW_VERSION_CONTROLLED_COLLECTION                            = 
"new_version_controlled_collection";
  +    String C_NEW_VERSION_CONTROLLED_RESOURCE                              = 
"new_version_controlled_resource";
  +    String C_NEW_VERSION_HISTORY                                          = 
"new_version_history";
  +    String C_NO_CHECKED_OUT_BASELINE_CONTROLLED_COLLECTION_MEMBERS        = 
"no_checked_out_baseline_controlled_collection_members";
  +    String C_NO_MODIFICATION                                              = 
"no_modification";
  +    String C_NO_OVERWRITE_BY_AUTO_UPDATE                                  = 
"no_overwrite_by_auto_update";
  +    String C_NO_VERSION_DELETE                                            = 
"no_version_delete";
  +    String C_ONE_BASELINE_CONTROLLED_COLLECTION_PER_HISTORY_PER_WORKSPACE = 
"one_baseline_controlled_collection_per_history_per_workspace";
  +    String C_ONE_CHECKOUT_PER_ACTIVITY_PER_HISTORY                        = 
"one_checkout_per_activity_per_history";
  +    String C_ONE_VERSION_CONTROLLED_RESOURCE_PER_HISTORY_PER_WORKSPACE    = 
"one_version_controlled_resource_per_history_per_workspace";
  +    String C_ONE_VERSION_PER_HISTORY_PER_BASELINE                         = 
"one_version_per_history_per_baseline";
  +    String C_PRESERVE_VERSIONING_PROPERTIES                               = 
"preserve_versioning_properties";
  +    String C_PUT_UNDER_VERSION_CONTROL                                    = 
"put_under_version_control";
  +    String C_REFERENCE_VERSION_CONTROLLED_CONFIGURATION                   = 
"reference_version_controlled_configuration";
  +    String C_REMOVE_LABEL                                                 = 
"remove_label";
  +    String C_REPORT_PROPERTIES                                            = 
"report_properties";
  +    String C_RESOURCE_MUST_BE_NULL                                        = 
"resource_must_be_null";
  +    String C_RESTORE_CONTENT_AND_DEAD_PROPERTIES                          = 
"restore_content_and_dead_properties";
  +    String C_SELECT_EXISTING_BASELINE                                     = 
"select_existing_baseline";
  +    String C_SET_BASELINE_CONTROLLED_COLLECTION_MEMBERS                   = 
"set_baseline_controlled_collection_members";
  +    String C_SUPPORTED_LIVE_PROPERTY                                      = 
"supported_live_property";
  +    String C_SUPPORTED_REPORT                                             = 
"supported_report";
  +    String C_UPDATE_ACTIVITY_REFERENCE                                    = 
"update_activity_reference";
  +    String C_UPDATE_AUTO_UPDATE                                           = 
"update_auto_update";
  +    String C_UPDATE_CHECKED_OUT_REFERENCE                                 = 
"update_checked_out_reference";
  +    String C_UPDATE_CONTENT_AND_PROPERTIES                                = 
"update_content_and_properties";
  +    String C_UPDATE_MERGE_SET                                             = 
"update_merge_set";
  +    String C_UPDATE_PREDECESSOR_SET                                       = 
"update_predecessor_set";
  +    String C_UPDATE_SUBBASELINES                                          = 
"update_subbaselines";
  +    String C_UPDATE_VERSION_CONTROLLED_COLLECTION_MEMBERS                 = 
"update_version_controlled_collection_members";
  +    String C_UPDATE_WORKSPACE_REFERENCE                                   = 
"update_workspace_reference";
  +    String C_VERSION_CONTROL_WORKING_COLLECTION_MEMBERS                   = 
"version_control_working_collection_members";
  +    String C_VERSION_CONTROLLED_CONFIGURATION_MUST_NOT_EXIST              = 
"version_controlled_configuration_must_not_exist";
  +    String C_VERSION_HISTORY_HAS_ROOT                                     = 
"version_history_has_root";
  +    String C_VERSION_HISTORY_IS_TREE                                      = 
"version_history_is_tree";
  +    String C_WORKSPACE_LOCATION_OK                                        = 
"workspace_location_ok";
  +    String C_WORKSPACE_MEMBER_MOVED                                       = 
"workspace_member_moved";
  +    String C_WORKSPACE_MOVED                                              = 
"workspace_moved";
   }
   
  
  
  

--
To unsubscribe, e-mail:   <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>

Reply via email to