fork download

copy

/* package whatever; // don't place package name! */
 
import java.util.*;
import java.lang.*;
import java.io.*;
 
@ThreadSafe
public class CachedFactorizer implements Servlet {
    @GuardedBy("this") private BigInteger lastNumber;
    @GuardedBy("this") private BigInteger[] lastFactors;
    @GuardedBy("this") private long hits;
    @GuardedBy("this") private long cacheHits;
 
    public synchronized long getHits() { return hits; }
    public synchronized double getCacheHitRatio() {
        return (double) cacheHits / (double) hits;
    }
 
    public void service(ServletRequest req, ServletResponse resp) {
        BigInteger i = extractFromRequest(req);
        BigInteger[] factors = null;
        synchronized (this) {
            ++hits;
            if (i.equals(lastNumber)) {
                ++cacheHits;
                factors = lastFactors.clone();
            }
        }
        if (factors == null) {
            factors = factor(i);
            synchronized (this)  {
                lastNumber = i;
                lastFactors = factors.clone();
            }
        }
        encodeIntoResponse(resp, factors);
    }
}
 
 
 

Main.java:8: error: class CachedFactorizer is public, should be declared in a file named CachedFactorizer.java
public class CachedFactorizer implements Servlet {
       ^
Main.java:8: error: cannot find symbol
public class CachedFactorizer implements Servlet {
                                         ^
  symbol: class Servlet
Main.java:7: error: cannot find symbol
@ThreadSafe
 ^
  symbol: class ThreadSafe
Main.java:9: error: cannot find symbol
    @GuardedBy("this") private BigInteger lastNumber;
                               ^
  symbol:   class BigInteger
  location: class CachedFactorizer
Main.java:10: error: cannot find symbol
    @GuardedBy("this") private BigInteger[] lastFactors;
                               ^
  symbol:   class BigInteger
  location: class CachedFactorizer
Main.java:19: error: cannot find symbol
    public void service(ServletRequest req, ServletResponse resp) {
                        ^
  symbol:   class ServletRequest
  location: class CachedFactorizer
Main.java:19: error: cannot find symbol
    public void service(ServletRequest req, ServletResponse resp) {
                                            ^
  symbol:   class ServletResponse
  location: class CachedFactorizer
Main.java:9: error: cannot find symbol
    @GuardedBy("this") private BigInteger lastNumber;
     ^
  symbol:   class GuardedBy
  location: class CachedFactorizer
Main.java:10: error: cannot find symbol
    @GuardedBy("this") private BigInteger[] lastFactors;
     ^
  symbol:   class GuardedBy
  location: class CachedFactorizer
Main.java:11: error: cannot find symbol
    @GuardedBy("this") private long hits;
     ^
  symbol:   class GuardedBy
  location: class CachedFactorizer
Main.java:12: error: cannot find symbol
    @GuardedBy("this") private long cacheHits;
     ^
  symbol:   class GuardedBy
  location: class CachedFactorizer
Main.java:20: error: cannot find symbol
        BigInteger i = extractFromRequest(req);
        ^
  symbol:   class BigInteger
  location: class CachedFactorizer
Main.java:21: error: cannot find symbol
        BigInteger[] factors = null;
        ^
  symbol:   class BigInteger
  location: class CachedFactorizer
13 errors

Standard output is empty