Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 2 of 2 for getUserProperties (0.98 sec)

  1. api/maven-api-core/src/main/java/org/apache/maven/api/ProtoSession.java

         */
        @Nonnull
        default Builder toBuilder() {
            try {
                return new Builder(
                        getUserProperties(), getSystemProperties(), getStartTime(), getTopDirectory(), getRootDirectory());
            } catch (IllegalStateException e) {
                return new Builder(getUserProperties(), getSystemProperties(), getStartTime(), getTopDirectory(), null);
            }
        }
    
        /**
    Registered: Sun Sep 07 03:35:12 UTC 2025
    - Last Modified: Thu Jul 03 14:18:26 UTC 2025
    - 7.5K bytes
    - Viewed (0)
  2. api/maven-api-core/src/main/java/org/apache/maven/api/services/ProblemCollector.java

            if (protoSession != null
                    && protoSession.getUserProperties().containsKey(Constants.MAVEN_BUILDER_MAX_PROBLEMS)) {
                int limit = Integer.parseInt(protoSession.getUserProperties().get(Constants.MAVEN_BUILDER_MAX_PROBLEMS));
                return create(limit, p -> true);
            } else {
                return create(100);
            }
    Registered: Sun Sep 07 03:35:12 UTC 2025
    - Last Modified: Fri Jul 18 17:30:19 UTC 2025
    - 11.4K bytes
    - Viewed (0)
Back to top