Classifier

Tree

Index

Help

Poseidon for UML^TM
UMLdoc

PREV CLASSIFIER NEXT CLASSIFIER		FRAMES NO FRAMES
SUMMARY: INNER \| ATTR \| ASSOC \| CONSTR \| METHOD		DETAIL: INNER \| ATTR \| ASSOC \| CONSTR \| METHOD		DIAGRAMS: COLLAB \| SEQ \| STATE \| ACTIV

plp.functional1.util

Class VerificadorTiposDeclaracaoRecursiva

public class VerificadorTiposDeclaracaoRecursiva
Classe que implementa um verificador de tipos para as declarações recursivas (letrec).

Constructor Summary

public VerificadorTiposDeclaracaoRecursiva(List declaracoesFuncionais , Expressao expressaoArg )

Method Summary

public Tipo inferirTipo( AmbienteCompilacao ambiente , Substituicao phi )
******** Fim debugacao ******************************

Constructor Detail

VerificadorTiposDeclaracaoRecursiva

public VerificadorTiposDeclaracaoRecursiva VerificadorTiposDeclaracaoRecursiva(List declaracoesFuncionais , Expressao expressaoArg )

Method Detail

inferirTipo

public Tipo inferirTipo( AmbienteCompilacao ambiente , Substituicao phi )

******** Fim debugacao ******************************

Created 2003 - 7 - 22

Overview

Package

Classifier

Tree

Index

Help

Poseidon for UML^TM
UMLdoc

PREV CLASSIFIER NEXT CLASSIFIER		FRAMES NO FRAMES
SUMMARY: INNER \| ATTR \| ASSOC \| CONSTR \| METHOD		DETAIL: INNER \| ATTR \| ASSOC \| CONSTR \| METHOD		DIAGRAMS: COLLAB \| SEQ \| STATE \| ACTIV

Generated with Poseidon for UML^TM.
Poseidon is a registered trademark of Gentleware AG in Germany, USA and other countries. Copyright 2001 Gentleware AG, Vogt-Kölln-Str.30, 22527 Hamburg, Germany. All Rights Reserved.

UML is a trademark or registered trademark of Object Management Group, Inc. in the U.S. and other countries.