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 ConstantFloat extends CPInfo {
017    
018        private float val;
019    
020    
021        public ConstantFloat(float val) {
022          this.val = val;
023        }
024    
025    
026        public void emit(DataOutputStream out) throws IOException {
027          out.writeByte(ConstantPool.CONSTANT_Float);
028          out.writeFloat(val);
029        }
030    
031    
032        public String toString() {
033          return pos + " ConstantFloat: tag " + ConstantPool.CONSTANT_Float + ", bytes: " + val;
034        }
035    
036    
037    }