001    package AST;
002    
003    import java.util.HashSet;
004    import java.io.File;
005    import java.util.*;
006    import beaver.*;
007    import java.util.ArrayList;
008    import java.util.zip.*;
009    import java.io.*;
010    import java.io.FileNotFoundException;
011    import java.util.Collection;
012    /**
013      * @ast class
014     * 
015     */
016    public class ConstantDouble extends CPInfo {
017    
018        private double val;
019    
020    
021        public ConstantDouble(double val) {
022          this.val = val;
023        }
024    
025    
026        public void emit(DataOutputStream out) throws IOException {
027          out.writeByte(ConstantPool.CONSTANT_Double);
028          out.writeDouble(val);
029        }
030    
031    
032        public int size() {
033          return 2;
034        }
035    
036    
037        public String toString() {
038          return pos + " ConstantDouble: tag " + ConstantPool.CONSTANT_Double + ", bytes: " + val;
039        }
040    
041    
042    }