2002/css-validator/org/w3c/css/util ApplContext.java,1.24,1.25

Update of /sources/public/2002/css-validator/org/w3c/css/util
In directory hutz:/tmp/cvs-serv25830/w3c/css/util

Modified Files:
	ApplContext.java 
Log Message:
various things: Use of BigIntegers to avoid limits, background-* are now avoiding multiplication of checks and properties in CssXStyles impls, various updates for other properties, use of a string reader for string input, added the possibility of not following links, prepared for aggregation of all uris parsed

Index: ApplContext.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/util/ApplContext.java,v
retrieving revision 1.24
retrieving revision 1.25
diff -u -d -r1.24 -r1.25
--- ApplContext.java	3 Nov 2011 16:00:39 -0000	1.24
+++ ApplContext.java	9 Feb 2012 17:36:33 -0000	1.25
@@ -22,6 +22,7 @@
 import java.nio.charset.Charset;
 import java.nio.charset.IllegalCharsetNameException;
 import java.nio.charset.UnsupportedCharsetException;
+import java.util.ArrayList;
 import java.util.HashMap;
 
 /**
@@ -55,6 +56,8 @@
     public static String defaultPrefix = "*defaultprefix*";
     public static String noPrefix = "*noprefix*";
 
+    private ArrayList<URL> linkedmedia = new ArrayList<URL>();
+
     String credential = null;
     String lang;
     Messages msgs;
@@ -69,6 +72,16 @@
     int warningLevel = 0;
     boolean treatVendorExtensionsAsWarnings = false;
 
+    public boolean followlinks() {
+        return followlinks;
+    }
+
+    public void setFollowlinks(boolean followlinks) {
+        this.followlinks = followlinks;
+    }
+
+    boolean followlinks = true;
+
     FakeFile fakefile = null;
     String faketext = null;
     URL fakeurl = null;
@@ -91,6 +104,16 @@
         this.warningLevel = warningLevel;
     }
 
+    public ArrayList<URL> getLinkedURIs() {
+        return linkedmedia;
+    }
+
+    public void addLinkedURI(URL url) {
+        if (url != null) {
+            linkedmedia.add(url);
+        }
+    }
+
     // as ugly as everything else
     public String getCredential() {
         return credential;
@@ -494,6 +517,7 @@
 
     /**
      * Set the current referrer for possible linked style sheets
+     *
      * @param referrer the referring URL
      */
     public void setReferrer(URL referrer) {
@@ -502,6 +526,7 @@
 
     /**
      * get the referrer URL (or null if not relevant)
+     *
      * @return an URL
      */
     public URL getReferrer() {

Received on Thursday, 9 February 2012 17:36:39 UTC