JavaPatternMatching/src/mycompiler/myparser/ClassAndParameter.java

// ino.module.ClassAndParameter.8613.package 
package mycompiler.myparser;
// ino.end

// ino.module.ClassAndParameter.8613.import 
import java.util.Vector;
import mycompiler.mytype.ParaList;
import mycompiler.mytype.Type;
// ino.end

// ino.class.ClassAndParameter.24323.description type=javadoc
/**
 * Hilfskonstrukt, um die Grammatik fuer einen Klassenheader
 * ueberschaubar zu halten. Klassenname und optionale Generics
 * werden hiermit kombiniert und sofort nach dem Parsen in der
 * Klasse Class zueruck aufgeloest.
 * @author SCJU
 * 
 */
// ino.end
// ino.class.ClassAndParameter.24323.declaration 
public class ClassAndParameter
// ino.end
// ino.class.ClassAndParameter.24323.body
{
    // ino.attribute.name.24326.declaration 
    private String name;
    // ino.end
    // ino.attribute.plist.24329.declaration 
    private ParaList plist;
    // ino.end
    
    // ino.method.ClassAndParameter.24332.definition 
    public ClassAndParameter(String name)
    // ino.end
    // ino.method.ClassAndParameter.24332.body 
    {
        this.name = name;
    }
    // ino.end

    // ino.method.ClassAndParameter.24335.definition 
    public ClassAndParameter(String name, ParaList plist)
    // ino.end
    // ino.method.ClassAndParameter.24335.body 
    {
        this.name = name;
        this.plist = plist;
    }
    // ino.end
    
    // ino.method.getParaVector.24338.definition 
    public Vector<Type> getParaVector()
    // ino.end
    // ino.method.getParaVector.24338.body 
    {
        if (plist == null) return null; 
    
        return plist.get_ParaList();
    }
    // ino.end
    
    // ino.method.getName.24341.definition 
    public String getName()
    // ino.end
    // ino.method.getName.24341.body 
    {
        return name;
    }
    // ino.end
    // ino.method.setName.24344.definition 
    public void setName(String name)
    // ino.end
    // ino.method.setName.24344.body 
    {
        this.name = name;
    }
    // ino.end
    // ino.method.getParalist.24347.definition 
    public ParaList getParalist()
    // ino.end
    // ino.method.getParalist.24347.body 
    {
        return plist;
    }
    // ino.end
    // ino.method.setParalist.24350.definition 
    public void setParalist(ParaList plist)
    // ino.end
    // ino.method.setParalist.24350.body 
    {
        this.plist = plist;
    }
    // ino.end
    
}
// ino.end