OoasTools

/**

  *

  *                      OOAS Compiler

  *

  *       Copyright 2015, AIT Austrian Institute of Technology.

  * This code is based on the C# Version of the OOAS Compiler, which is

  * copyright 2015 by the Institute of Software Technology, Graz University

  * of Technology with portions copyright by the AIT Austrian Institute of

  * Technology. All rights reserved.

  *

  * SEE THE "LICENSE" FILE FOR THE TERMS UNDER WHICH THIS FILE IS PROVIDED.

  *

  * If you modify the file please update the list of contributors below to in-

  * clude your name. Please also stick to the coding convention of using TABs

  * to do the basic (block-level) indentation and spaces for anything after

  * that. (Enable the display of special chars and it should be pretty obvious

  * what this means.) Also, remove all trailing whitespace.

  *

  * Contributors:

  *               Willibald Krenn (AIT)

  *               Stephan Zimmerer (AIT)

  *               Markus Demetz (AIT)

  *               Christoph Czurda (AIT)

  *

  */

package org.momut.ooas.visitors.analysis;

import org.momut.ooas.ast.identifiers.AttributeIdentifier;

import org.momut.ooas.ast.identifiers.LocalVariableIdentifier;

import org.momut.ooas.ast.identifiers.MainModule;

import org.momut.ooas.ast.identifiers.MethodIdentifier;

import org.momut.ooas.ast.identifiers.Module;

import org.momut.ooas.ast.identifiers.NamedActionIdentifier;

import org.momut.ooas.ast.identifiers.TypeIdentifier;

import org.momut.ooas.ast.statements.AbortStatement;

import org.momut.ooas.ast.statements.Assignment;

import org.momut.ooas.ast.statements.BreakStatement;

import org.momut.ooas.ast.statements.Call;

import org.momut.ooas.ast.statements.GuardedCommand;

import org.momut.ooas.ast.statements.KillStatement;

import org.momut.ooas.ast.statements.NondetBlock;

import org.momut.ooas.ast.statements.PrioBlock;

import org.momut.ooas.ast.statements.SeqBlock;

import org.momut.ooas.ast.statements.SkipStatement;

import org.momut.ooas.ast.types.OoActionSystemType;

import org.momut.ooas.parser.ParserMessage;

import org.momut.ooas.parser.ParserState;

import org.momut.ooas.visitors.OoaCompleteAstTraversalVisitor;

public final class OoaPrintMetricsVisitor extends OoaCompleteAstTraversalVisitor {

        protected int m_modules = 0;

        protected int m_actions = 0;

        protected int m_methods = 0;

        protected int m_statements = 0;

        protected int m_actionSystems = 0;

        protected int m_attributes = 0;

        protected int m_namedTypes = 0;

        protected int m_blocks = 0;

        protected int m_localVars = 0;

        public int getNumberOfModules() {return m_modules;}

        public int getNumberOfActions() {return m_actions;}

        public int getNumberOfMethods() {return m_methods;}

        public int getNumberOfStatements()     {return m_statements;}

        public int getNumberOfActionSystems()  {return m_actionSystems;}

        public int getNumberOfGlobalVariables(){return m_attributes;}

        @Override

        public String toString() {

                return String.format("# Modules: %s, # Actions: %s, # Methods: %s, # Statements: %s, # ActionsSystems: %s, # Attributes: %s, # Named Types %s, # Blocks: %s, # Local Vars: %s",

                                m_modules, m_actions, m_methods, m_statements, m_actionSystems, m_attributes, m_namedTypes, m_blocks, m_localVars);

        }

        @Override

        public void done() {

                m_ParserState.AddMessage(new ParserMessage(m_ParserState.filename, 0,0, "OOAS Metrics:\n\t" + toString()));

        }

        @Override

        public void visit(LocalVariableIdentifier localVariableIdentifier) {

                m_localVars++;

                super.visit(localVariableIdentifier);

        }

        @Override

        public void visit(NondetBlock nondetBlock) {

                m_blocks++;

                super.visit(nondetBlock);

        }

        @Override

        public void visit(PrioBlock prioBlock) {

                m_blocks++;

                super.visit(prioBlock);

        }

        @Override

        public void visit(SeqBlock seqBlock) {

                m_blocks++;

                super.visit(seqBlock);

        }

        @Override

        public void visit(TypeIdentifier typeIdentifier) {

                m_namedTypes++;

                super.visit(typeIdentifier);

        }

        @Override

        public void visit(AbortStatement abortStatement) {

                m_statements++;

                super.visit(abortStatement);

        }

        @Override

        public void visit(Assignment assignment) {

                m_statements++;

                super.visit(assignment);

        }

        @Override

        public void visit(AttributeIdentifier attributeIdentifier) {

                m_attributes++;

                super.visit(attributeIdentifier);

        }

        @Override

        public void visit(BreakStatement breakStatement) {

                m_statements++;

                super.visit(breakStatement);

        }

        @Override

        public void visit(Call call) {

                m_statements++;

                super.visit(call);

        }

        @Override

        public void visit(GuardedCommand guardedCommand) {

                m_statements++;

                super.visit(guardedCommand);

        }

        @Override

        public void visit(KillStatement killStatement) {

                m_statements++;

                super.visit(killStatement);

        }

        @Override

        public void visit(MainModule mainModule) {

                m_modules++;

                super.visit(mainModule);

        }

        @Override

        public void visit(MethodIdentifier methodIdentifier) {

                m_methods++;

                super.visit(methodIdentifier);

        }

        @Override

        public void visit(Module module) {

                m_modules++;

                super.visit(module);

        }

        @Override

        public void visit(NamedActionIdentifier namedActionIdentifier) {

                m_actions++;

                super.visit(namedActionIdentifier);

        }

        @Override

        public void visit(OoActionSystemType ooActionSystemType) {

                m_actionSystems++;

                super.visit(ooActionSystemType);

        }

        @Override

        public void visit(SkipStatement skipStatement) {

                m_statements++;

                super.visit(skipStatement);

        }

        public OoaPrintMetricsVisitor(ParserState aState) {

                super(aState, false);

        }

}