ImplicitFieldSpecification.java :  » Testing » KeY » de » uka » ilkd » key » java » declaration » Java Open Source

Java Open Source » Testing » KeY 
KeY » de » uka » ilkd » key » java » declaration » ImplicitFieldSpecification.java
// This file is part of KeY - Integrated Deductive Software Design
// Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
//                         Universitaet Koblenz-Landau, Germany
//                         Chalmers University of Technology, Sweden
//
// The KeY system is protected by the GNU General Public License. 
// See LICENSE.TXT for details.
//
//


package de.uka.ilkd.key.java.declaration;

import de.uka.ilkd.key.java.abstraction.Type;
import de.uka.ilkd.key.java.visitor.Visitor;
import de.uka.ilkd.key.logic.op.ProgramVariable;

/* An implicit field specification. In KeY we store information about states of 
 * classes and/or objects as static or instance fields
 *  (e.g. if a class is initialized or an object created). To avoid name clashes
 *  the name of implicit fields is enclosed by angle brackets.  
 */
public class ImplicitFieldSpecification extends FieldSpecification {

    /**
     * Implicit Field specification.
     */
    public ImplicitFieldSpecification() {}

    /**
     * Implicit Field specification.
     * @param var the ProgramVariable representing this concrete field
     */
    public ImplicitFieldSpecification(ProgramVariable var) {
        this(var, var.getKeYJavaType());
    }

    /**
     *      Implicit Field specification.
     *      @param var the ProgramVariable representing this concrete field
     *      @param type the Type of this field      
     */

    public ImplicitFieldSpecification(ProgramVariable var, Type type) {
        super(var, type);
    }


    /** calls the corresponding method of a visitor in order to
     * perform some action/transformation on this element
     * @param v the Visitor
     */
    public void visit(Visitor v) {
  v.performActionOnImplicitFieldSpecification(this);
    }


}
java2s.com  | Contact Us | Privacy Policy
Copyright 2009 - 12 Demo Source and Support. All rights reserved.
All other trademarks are property of their respective owners.