Feature.java

/*
Copyright (c) 2013 Robby, Kansas State University.        
All rights reserved. This program and the accompanying materials      
are made available under the terms of the Eclipse Public License v1.0 
which accompanies this distribution, and is available at              
http://www.eclipse.org/legal/epl-v10.html                             
*/

package edu.ksu.cis.santos.mdcf.dml.ast;

import static edu.ksu.cis.santos.mdcf.dml.ast.Ast.list;

import java.util.List;

/**
 * @author <a href="mailto:robby@k-state.edu">Robby</a>
 */
public final class Feature extends Declaration {
  public final Iterable<FeatureAnnotation> annotations;

  public final List<NamedType> supers;

  public final List<Member> members;
  
  public Feature(final Iterable<FeatureAnnotation> annotations,
      final String name, final Iterable<NamedType> supers,
      final Iterable<Member> members) {
    super(name);
    this.annotations = list(annotations);
    this.supers = list(supers);
    this.members = list(members);
  }

  @Override
  protected Object[] getChildren() {
    return new Object[] { this.annotations, this.name, this.supers,
        this.members };
  }

  @Override
  protected boolean visit(final IVisitor visitor) {
    final boolean b1 = visitor.visitDeclaration(this);
    final boolean b2 = visitor.visitFeature(this);
    return b1 && b2;
  }
}