Class AnalisadorSemantico

O Analisador Semântico de Delégua.

Hierarchy (View Summary)

AnalisadorSemanticoBase
- AnalisadorSemantico

Index

Constructors

Properties

atual classeAtualEmAnalise classesDeclararadas classesRegistradas diagnosticos funcoes gerenciadorEscopos pilhaVariaveis

Methods

adicionarDiagnostico analisar aviso comparacaoArgumentosContraParametrosFuncao diagnosticoJaExiste erro inferirTipoBinario marcarVariaveisUsadasEmExpressao obterTipoExpressao sugestao todosOsCaminhosRetornam verificarInterpolacaoTexto verificarSeRetorna verificarTipoAtribuido verificarVariaveisNaoUsadas visitarChamadaPorArgumentoReferenciaFuncao visitarChamadaPorReferenciaFuncao visitarChamadaPorVariavel visitarDeclaracaoAjuda visitarDeclaracaoCabecalhoPrograma visitarDeclaracaoClasse visitarDeclaracaoComentario visitarDeclaracaoConst visitarDeclaracaoConstMultiplo visitarDeclaracaoDeExpressao visitarDeclaracaoDefinicaoFuncao visitarDeclaracaoEnquanto visitarDeclaracaoEscolha visitarDeclaracaoEscreva visitarDeclaracaoEscrevaMesmaLinha visitarDeclaracaoFazer visitarDeclaracaoImportar visitarDeclaracaoInicioAlgoritmo visitarDeclaracaoPara visitarDeclaracaoParaCada visitarDeclaracaoSe visitarDeclaracaoTendoComo visitarDeclaracaoTente visitarDeclaracaoTextoDocumentacao visitarDeclaracaoVar visitarDeclaracaoVarMultiplo visitarExpressaoAcessoElementoMatriz visitarExpressaoAcessoIndiceVariavel visitarExpressaoAcessoIntervaloVariavel visitarExpressaoAcessoMetodo visitarExpressaoAcessoMetodoOuPropriedade visitarExpressaoAcessoPropriedade visitarExpressaoAgrupamento visitarExpressaoAjuda visitarExpressaoArgumentoReferenciaFuncao visitarExpressaoAtribuicaoPorIndice visitarExpressaoAtribuicaoPorIndicesMatriz visitarExpressaoBinaria visitarExpressaoBloco visitarExpressaoComentario visitarExpressaoContinua visitarExpressaoDeAtribuicao visitarExpressaoDeChamada visitarExpressaoDefinirValor visitarExpressaoDeVariavel visitarExpressaoDicionario visitarExpressaoExpressaoRegular visitarExpressaoFalhar visitarExpressaoFimPara visitarExpressaoFormatacaoEscrita visitarExpressaoFuncaoConstruto visitarExpressaoIsto visitarExpressaoLeia visitarExpressaoLiteral visitarExpressaoLogica visitarExpressaoReferenciaFuncao visitarExpressaoRetornar visitarExpressaoSeparador visitarExpressaoSuper visitarExpressaoSustar visitarExpressaoTipoDe visitarExpressaoTupla visitarExpressaoTuplaN visitarExpressaoUnaria visitarExpressaoVetor

Constructors

constructor

new AnalisadorSemantico(): AnalisadorSemantico
Returns AnalisadorSemantico
Overrides AnalisadorSemanticoBase.constructor
- Defined in fontes/analisador-semantico/analisador-semantico.ts:62

Properties

atual

atual: number

classeAtualEmAnalise

classeAtualEmAnalise: Classe

classesDeclararadas

classesDeclararadas: Set<string>

classesRegistradas

classesRegistradas: Map<string, Classe>

diagnosticos

diagnosticos: DiagnosticoAnalisadorSemantico[]

funcoes

funcoes: { [nomeFuncao: string]: FuncaoHipoteticaInterface }

gerenciadorEscopos

gerenciadorEscopos: GerenciadorEscopos

pilhaVariaveis

pilhaVariaveis: PilhaVariaveis

Methods

adicionarDiagnostico

adicionarDiagnostico(
    simbolo: SimboloInterface,
    mensagem: string,
    severidade?: DiagnosticoSeveridade,
): void
Parameters
- simbolo: SimboloInterface
- mensagem: string
- severidade: DiagnosticoSeveridade = DiagnosticoSeveridade.AVISO
Returns void
Inherited from AnalisadorSemanticoBase.adicionarDiagnostico
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:428

`Protected`diagnosticoJaExiste

diagnosticoJaExiste(simbolo: SimboloInterface, mensagem: string): boolean
Parameters
- simbolo: SimboloInterface
- mensagem: string
Returns boolean
Inherited from AnalisadorSemanticoBase.diagnosticoJaExiste
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:89

erro

erro(simbolo: SimboloInterface, mensagem: string): void
Parameters
- simbolo: SimboloInterface
- mensagem: string
Returns void
Inherited from AnalisadorSemanticoBase.erro
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:97

`Protected`inferirTipoBinario

inferirTipoBinario(binario: Binario): string
Infere o tipo de resultado de uma operação binária
Parameters
- binario: Binario
Returns string
Inherited from AnalisadorSemanticoBase.inferirTipoBinario
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:229

`Protected`marcarVariaveisUsadasEmExpressao

marcarVariaveisUsadasEmExpressao(expressao: Construto): void
Marca as variáveis usadas em uma expressão.
Parameters
- expressao: Construto
Returns void
Inherited from AnalisadorSemanticoBase.marcarVariaveisUsadasEmExpressao
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:268

`Protected`obterTipoExpressao

obterTipoExpressao(expressao: Construto): string
Obtém o tipo de uma expressão (pode ser Literal, Variavel, Binario, Leia, etc)
Parameters
- expressao: Construto
Returns string
Overrides AnalisadorSemanticoBase.obterTipoExpressao
- Defined in fontes/analisador-semantico/analisador-semantico.ts:1140

sugestao

sugestao(
    simbolo: SimboloInterface,
    mensagem: string,
    correcoes: CorrecaoSugeridaInterface[],
): void
Parameters
- simbolo: SimboloInterface
- mensagem: string
- correcoes: CorrecaoSugeridaInterface[]
Returns void
Inherited from AnalisadorSemanticoBase.sugestao
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:125

`Protected`todosOsCaminhosRetornam

todosOsCaminhosRetornam(declaracoes: Declaracao[]): boolean
Analisa se todos os caminhos retornam
Parameters
- declaracoes: Declaracao[]
Returns boolean
true se todos os caminhos retornam, false caso contrário
Inherited from AnalisadorSemanticoBase.todosOsCaminhosRetornam
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:332

`Protected`verificarInterpolacaoTexto

verificarInterpolacaoTexto(texto: string, literal: Literal): void
Verifica interpolações de texto e marca variáveis como usadas
Parameters
- texto: string
- literal: Literal
Returns void
- Defined in fontes/analisador-semantico/analisador-semantico.ts:862

`Protected`verificarSeRetorna

verificarSeRetorna(declaracaoSe: Se): boolean
Parameters
- declaracaoSe: Se
Returns boolean
Inherited from AnalisadorSemanticoBase.verificarSeRetorna
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:362

verificarTipoAtribuido

verificarTipoAtribuido(declaracao: Const | Var): void
Parameters
- declaracao: Const | Var
Returns void
- Defined in fontes/analisador-semantico/analisador-semantico.ts:74

verificarVariaveisNaoUsadas

verificarVariaveisNaoUsadas(): void
Returns void
- Defined in fontes/analisador-semantico/analisador-semantico.ts:1323

visitarChamadaPorArgumentoReferenciaFuncao

visitarChamadaPorArgumentoReferenciaFuncao(
argumentoReferenciaFuncao: ArgumentoReferenciaFuncao,
argumentos: Construto[],
): void
Parameters
- argumentoReferenciaFuncao: ArgumentoReferenciaFuncao
- argumentos: Construto[]
Returns void
- Defined in fontes/analisador-semantico/analisador-semantico.ts:218

visitarChamadaPorReferenciaFuncao

visitarChamadaPorReferenciaFuncao(
referenciaFuncao: ReferenciaFuncao,
argumentos: Construto[],
): void
Parameters
- referenciaFuncao: ReferenciaFuncao
- argumentos: Construto[]
Returns void
- Defined in fontes/analisador-semantico/analisador-semantico.ts:236

visitarChamadaPorVariavel

visitarChamadaPorVariavel(
entidadeChamadaVariavel: Variavel,
argumentos: Construto[],
): Promise<void>
Parameters
- entidadeChamadaVariavel: Variavel
- argumentos: Construto[]
Returns Promise<void>
- Defined in fontes/analisador-semantico/analisador-semantico.ts:250

visitarDeclaracaoAjuda

visitarDeclaracaoAjuda(declaracao: Ajuda): Promise<any>
Parameters
- declaracao: Ajuda
Returns Promise<any>
- Defined in fontes/analisador-semantico/analisador-semantico.ts:437

visitarDeclaracaoCabecalhoPrograma

visitarDeclaracaoCabecalhoPrograma(declaracao: CabecalhoPrograma): Promise<any>
Parameters
- declaracao: CabecalhoPrograma
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarDeclaracaoCabecalhoPrograma
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:460

visitarDeclaracaoClasse

visitarDeclaracaoClasse(declaracao: Classe): Promise<any>
Parameters
- declaracao: Classe
Returns Promise<any>
Overrides AnalisadorSemanticoBase.visitarDeclaracaoClasse
- Defined in fontes/analisador-semantico/analisador-semantico.ts:1214

visitarDeclaracaoComentario

visitarDeclaracaoComentario(declaracao: Comentario): void | Promise<any>
Parameters
- declaracao: Comentario
Returns void | Promise<any>
Inherited from AnalisadorSemanticoBase.visitarDeclaracaoComentario
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:468

visitarDeclaracaoConst

visitarDeclaracaoConst(declaracao: Const): Promise<any>
Parameters
- declaracao: Const
Returns Promise<any>
Overrides AnalisadorSemanticoBase.visitarDeclaracaoConst
- Defined in fontes/analisador-semantico/analisador-semantico.ts:954

visitarDeclaracaoConstMultiplo

visitarDeclaracaoConstMultiplo(declaracao: ConstMultiplo): Promise<any>
Parameters
- declaracao: ConstMultiplo
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarDeclaracaoConstMultiplo
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:476

visitarDeclaracaoDeExpressao

visitarDeclaracaoDeExpressao(declaracao: Expressao): Promise<any>
Parameters
- declaracao: Expressao
Returns Promise<any>
Overrides AnalisadorSemanticoBase.visitarDeclaracaoDeExpressao
- Defined in fontes/analisador-semantico/analisador-semantico.ts:433

visitarDeclaracaoDefinicaoFuncao

visitarDeclaracaoDefinicaoFuncao(declaracao: FuncaoDeclaracao): Promise<any>
Parameters
- declaracao: FuncaoDeclaracao
Returns Promise<any>
Overrides AnalisadorSemanticoBase.visitarDeclaracaoDefinicaoFuncao
- Defined in fontes/analisador-semantico/analisador-semantico.ts:1244

visitarDeclaracaoEnquanto

visitarDeclaracaoEnquanto(declaracao: Enquanto): Promise<void>
Parameters
- declaracao: Enquanto
Returns Promise<void>
Overrides AnalisadorSemanticoBase.visitarDeclaracaoEnquanto
- Defined in fontes/analisador-semantico/analisador-semantico.ts:491

visitarDeclaracaoEscolha

visitarDeclaracaoEscolha(declaracao: Escolha): Promise<void>
Parameters
- declaracao: Escolha
Returns Promise<void>
Overrides AnalisadorSemanticoBase.visitarDeclaracaoEscolha
- Defined in fontes/analisador-semantico/analisador-semantico.ts:451

visitarDeclaracaoEscreva

visitarDeclaracaoEscreva(declaracao: Escreva): Promise<any>
Parameters
- declaracao: Escreva
Returns Promise<any>
Overrides AnalisadorSemanticoBase.visitarDeclaracaoEscreva
- Defined in fontes/analisador-semantico/analisador-semantico.ts:906

visitarDeclaracaoEscrevaMesmaLinha

visitarDeclaracaoEscrevaMesmaLinha(declaracao: EscrevaMesmaLinha): Promise<any>
Parameters
- declaracao: EscrevaMesmaLinha
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarDeclaracaoEscrevaMesmaLinha
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:606

visitarDeclaracaoFazer

visitarDeclaracaoFazer(declaracao: Fazer): Promise<void>
Parameters
- declaracao: Fazer
Returns Promise<void>
Overrides AnalisadorSemanticoBase.visitarDeclaracaoFazer
- Defined in fontes/analisador-semantico/analisador-semantico.ts:495

visitarDeclaracaoImportar

visitarDeclaracaoImportar(declaracao: Importar): Promise<any>
Parameters
- declaracao: Importar
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarDeclaracaoImportar
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:508

visitarDeclaracaoInicioAlgoritmo

visitarDeclaracaoInicioAlgoritmo(declaracao: InicioAlgoritmo): Promise<any>
Parameters
- declaracao: InicioAlgoritmo
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarDeclaracaoInicioAlgoritmo
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:512

visitarDeclaracaoPara

visitarDeclaracaoPara(declaracao: Para): Promise<any>
Parameters
- declaracao: Para
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarDeclaracaoPara
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:516

visitarDeclaracaoParaCada

visitarDeclaracaoParaCada(declaracao: ParaCada): Promise<void>
Parameters
- declaracao: ParaCada
Returns Promise<void>
Overrides AnalisadorSemanticoBase.visitarDeclaracaoParaCada
- Defined in fontes/analisador-semantico/analisador-semantico.ts:502

visitarDeclaracaoSe

visitarDeclaracaoSe(declaracao: Se): Promise<void>
Parameters
- declaracao: Se
Returns Promise<void>
Overrides AnalisadorSemanticoBase.visitarDeclaracaoSe
- Defined in fontes/analisador-semantico/analisador-semantico.ts:508

visitarDeclaracaoTendoComo

visitarDeclaracaoTendoComo(declaracao: TendoComo): Promise<any>
Parameters
- declaracao: TendoComo
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarDeclaracaoTendoComo
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:528

visitarDeclaracaoTente

visitarDeclaracaoTente(declaracao: Tente): Promise<any>
Parameters
- declaracao: Tente
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarDeclaracaoTente
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:532

visitarDeclaracaoTextoDocumentacao

visitarDeclaracaoTextoDocumentacao(
declaracao: TextoDocumentacao,
): void | Promise<any>
Parameters
- declaracao: TextoDocumentacao
Returns void | Promise<any>
Inherited from AnalisadorSemanticoBase.visitarDeclaracaoTextoDocumentacao
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:402

visitarDeclaracaoVar

visitarDeclaracaoVar(declaracao: Var): Promise<any>
Parameters
- declaracao: Var
Returns Promise<any>
Overrides AnalisadorSemanticoBase.visitarDeclaracaoVar
- Defined in fontes/analisador-semantico/analisador-semantico.ts:991

visitarDeclaracaoVarMultiplo

visitarDeclaracaoVarMultiplo(declaracao: VarMultiplo): Promise<any>
Parameters
- declaracao: VarMultiplo
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarDeclaracaoVarMultiplo
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:540

visitarExpressaoAcessoElementoMatriz

visitarExpressaoAcessoElementoMatriz(
expressao: AcessoElementoMatriz,
): Promise<any>
Parameters
- expressao: AcessoElementoMatriz
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoAcessoElementoMatriz
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:548

visitarExpressaoAcessoIndiceVariavel

visitarExpressaoAcessoIndiceVariavel(
expressao: AcessoIndiceVariavel,
): Promise<any>
Parameters
- expressao: AcessoIndiceVariavel
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoAcessoIndiceVariavel
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:544

visitarExpressaoAcessoIntervaloVariavel

visitarExpressaoAcessoIntervaloVariavel(
expressao: AcessoIntervaloVariavel,
): void | Promise<any>
Parameters
- expressao: AcessoIntervaloVariavel
Returns void | Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoAcessoIntervaloVariavel
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:406

visitarExpressaoAcessoMetodo

visitarExpressaoAcessoMetodo(expressao: AcessoMetodo): void | Promise<any>
Parameters
- expressao: AcessoMetodo
Returns void | Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoAcessoMetodo
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:452

visitarExpressaoAcessoMetodoOuPropriedade

visitarExpressaoAcessoMetodoOuPropriedade(
expressao: AcessoMetodoOuPropriedade,
): Promise<any>
Parameters
- expressao: AcessoMetodoOuPropriedade
Returns Promise<any>
Overrides AnalisadorSemanticoBase.visitarExpressaoAcessoMetodoOuPropriedade
- Defined in fontes/analisador-semantico/analisador-semantico.ts:1182

visitarExpressaoAcessoPropriedade

visitarExpressaoAcessoPropriedade(
expressao: AcessoPropriedade,
): void | Promise<any>
Parameters
- expressao: AcessoPropriedade
Returns void | Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoAcessoPropriedade
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:456

visitarExpressaoAgrupamento

visitarExpressaoAgrupamento(expressao: Agrupamento): Promise<any>
Parameters
- expressao: Agrupamento
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoAgrupamento
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:556

visitarExpressaoAjuda

visitarExpressaoAjuda(expressao: AjudaComoConstruto): Promise<any>
Parameters
- expressao: AjudaComoConstruto
Returns Promise<any>
- Defined in fontes/analisador-semantico/analisador-semantico.ts:444

visitarExpressaoArgumentoReferenciaFuncao

visitarExpressaoArgumentoReferenciaFuncao(
expressao: ArgumentoReferenciaFuncao,
): void | Promise<any>
Parameters
- expressao: ArgumentoReferenciaFuncao
Returns void | Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoArgumentoReferenciaFuncao
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:442

visitarExpressaoAtribuicaoPorIndice

visitarExpressaoAtribuicaoPorIndice(
expressao: AtribuicaoPorIndice,
): Promise<any>
Parameters
- expressao: AtribuicaoPorIndice
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoAtribuicaoPorIndice
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:560

visitarExpressaoAtribuicaoPorIndicesMatriz

visitarExpressaoAtribuicaoPorIndicesMatriz(
expressao: AtribuicaoPorIndicesMatriz,
): Promise<any>
Parameters
- expressao: AtribuicaoPorIndicesMatriz
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoAtribuicaoPorIndicesMatriz
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:564

visitarExpressaoBinaria

visitarExpressaoBinaria(expressao: Binario): Promise<any>
Parameters
- expressao: Binario
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoBinaria
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:570

visitarExpressaoBloco

visitarExpressaoBloco(declaracao: Bloco): Promise<any>
Parameters
- declaracao: Bloco
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoBloco
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:574

visitarExpressaoComentario

visitarExpressaoComentario(
expressao: ComentarioComoConstruto,
): void | Promise<any>
Parameters
- expressao: ComentarioComoConstruto
Returns void | Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoComentario
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:414

visitarExpressaoContinua

visitarExpressaoContinua(declaracao?: Continua): ContinuarQuebra
Parameters
- Optionaldeclaracao: Continua
Returns ContinuarQuebra
Inherited from AnalisadorSemanticoBase.visitarExpressaoContinua
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:578

visitarExpressaoDeAtribuicao

visitarExpressaoDeAtribuicao(expressao: Atribuir): Promise<void>
Parameters
- expressao: Atribuir
Returns Promise<void>
Overrides AnalisadorSemanticoBase.visitarExpressaoDeAtribuicao
- Defined in fontes/analisador-semantico/analisador-semantico.ts:316

visitarExpressaoDeChamada

visitarExpressaoDeChamada(expressao: Chamada): Promise<void>
Parameters
- expressao: Chamada
Returns Promise<void>
Overrides AnalisadorSemanticoBase.visitarExpressaoDeChamada
- Defined in fontes/analisador-semantico/analisador-semantico.ts:271

visitarExpressaoDefinirValor

visitarExpressaoDefinirValor(expressao: DefinirValor): Promise<any>
Parameters
- expressao: DefinirValor
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoDefinirValor
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:586

visitarExpressaoDeVariavel

visitarExpressaoDeVariavel(
expressao: Construto | Variavel<string>,
): Promise<any>
Parameters
- expressao: Construto | Variavel<string>
Returns Promise<any>
Overrides AnalisadorSemanticoBase.visitarExpressaoDeVariavel
- Defined in fontes/analisador-semantico/analisador-semantico.ts:1132

visitarExpressaoDicionario

visitarExpressaoDicionario(expressao: Dicionario): Promise<any>
Parameters
- expressao: Dicionario
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoDicionario
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:598

visitarExpressaoExpressaoRegular

visitarExpressaoExpressaoRegular(expressao: ExpressaoRegular): Promise<RegExp>
Parameters
- expressao: ExpressaoRegular
Returns Promise<RegExp>
Inherited from AnalisadorSemanticoBase.visitarExpressaoExpressaoRegular
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:602

visitarExpressaoFalhar

visitarExpressaoFalhar(expressao: Falhar): Promise<any>
Parameters
- expressao: Falhar
Returns Promise<any>
Overrides AnalisadorSemanticoBase.visitarExpressaoFalhar
- Defined in fontes/analisador-semantico/analisador-semantico.ts:164

visitarExpressaoFimPara

visitarExpressaoFimPara(declaracao: FimPara): Promise<any>
Parameters
- declaracao: FimPara
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoFimPara
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:614

visitarExpressaoFormatacaoEscrita

visitarExpressaoFormatacaoEscrita(expressao: FormatacaoEscrita): Promise<any>
Parameters
- expressao: FormatacaoEscrita
Returns Promise<any>
Overrides AnalisadorSemanticoBase.visitarExpressaoFormatacaoEscrita
- Defined in fontes/analisador-semantico/analisador-semantico.ts:1114

visitarExpressaoFuncaoConstruto

visitarExpressaoFuncaoConstruto(expressao: FuncaoConstruto): Promise<any>
Parameters
- expressao: FuncaoConstruto
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoFuncaoConstruto
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:590

visitarExpressaoIsto

visitarExpressaoIsto(expressao: Isto): Promise<any>
Parameters
- expressao: Isto
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoIsto
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:622

visitarExpressaoLeia

visitarExpressaoLeia(expressao: Leia): Promise<any>
Parameters
- expressao: Leia
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoLeia
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:626

visitarExpressaoLiteral

visitarExpressaoLiteral(expressao: Literal): Promise<any>
Parameters
- expressao: Literal
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoLiteral
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:630

visitarExpressaoLogica

visitarExpressaoLogica(expressao: Logico): Promise<any>
Parameters
- expressao: Logico
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoLogica
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:634

visitarExpressaoReferenciaFuncao

visitarExpressaoReferenciaFuncao(
expressao: ReferenciaFuncao,
): void | Promise<any>
Parameters
- expressao: ReferenciaFuncao
Returns void | Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoReferenciaFuncao
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:448

visitarExpressaoRetornar

visitarExpressaoRetornar(declaracao: Retorna): Promise<RetornoQuebra>
Parameters
- declaracao: Retorna
Returns Promise<RetornoQuebra>
Overrides AnalisadorSemanticoBase.visitarExpressaoRetornar
- Defined in fontes/analisador-semantico/analisador-semantico.ts:1128

visitarExpressaoSeparador

visitarExpressaoSeparador(expressao: Separador): void | Promise<any>
Parameters
- expressao: Separador
Returns void | Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoSeparador
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:419

visitarExpressaoSuper

visitarExpressaoSuper(expressao: Super): Promise<any>
Parameters
- expressao: Super
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoSuper
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:642

visitarExpressaoSustar

visitarExpressaoSustar(declaracao?: Sustar): SustarQuebra
Parameters
- Optionaldeclaracao: Sustar
Returns SustarQuebra
Inherited from AnalisadorSemanticoBase.visitarExpressaoSustar
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:646

visitarExpressaoTipoDe

visitarExpressaoTipoDe(expressao: TipoDe): Promise<any>
Parameters
- expressao: TipoDe
Returns Promise<any>
Overrides AnalisadorSemanticoBase.visitarExpressaoTipoDe
- Defined in fontes/analisador-semantico/analisador-semantico.ts:142

visitarExpressaoTupla

visitarExpressaoTupla(expressao: Tupla): Promise<any>
Parameters
- expressao: Tupla
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoTupla
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:650

visitarExpressaoTuplaN

visitarExpressaoTuplaN(expressao: TuplaN): void | Promise<any>
Parameters
- expressao: TuplaN
Returns void | Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoTuplaN
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:410

visitarExpressaoUnaria

visitarExpressaoUnaria(expressao: Unario): Promise<any>
Parameters
- expressao: Unario
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoUnaria
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:658

visitarExpressaoVetor

visitarExpressaoVetor(expressao: Vetor): Promise<any>
Parameters
- expressao: Vetor
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoVetor
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:662

Class AnalisadorSemantico

Hierarchy (View Summary)

Index

Constructors

Properties

Methods

Constructors

constructor

Returns AnalisadorSemantico

Properties

atual

classeAtualEmAnalise

classesDeclararadas

classesRegistradas

diagnosticos

funcoes

gerenciadorEscopos

pilhaVariaveis

Methods

adicionarDiagnostico

Parameters

Returns void

analisar

Parameters

Returns Promise<RetornoAnalisadorSemantico>

aviso

Parameters

Returns void

ProtectedcomparacaoArgumentosContraParametrosFuncao

Parameters

Returns void

ProtecteddiagnosticoJaExiste

Parameters

Returns boolean

erro

Parameters

Returns void

ProtectedinferirTipoBinario

Parameters

Returns string

ProtectedmarcarVariaveisUsadasEmExpressao

Parameters

Returns void

ProtectedobterTipoExpressao

Parameters

Returns string

sugestao

Parameters

Returns void

ProtectedtodosOsCaminhosRetornam

Parameters

Returns boolean

ProtectedverificarInterpolacaoTexto

Parameters

Returns void

ProtectedverificarSeRetorna

Parameters

Returns boolean

verificarTipoAtribuido

Parameters

Returns void

verificarVariaveisNaoUsadas

Returns void

visitarChamadaPorArgumentoReferenciaFuncao

Parameters

Returns void

visitarChamadaPorReferenciaFuncao

Parameters

Returns void

visitarChamadaPorVariavel

Parameters

Returns Promise<void>

visitarDeclaracaoAjuda

Parameters

Returns Promise<any>

visitarDeclaracaoCabecalhoPrograma

Parameters

Returns Promise<any>

visitarDeclaracaoClasse

Parameters

`Protected`comparacaoArgumentosContraParametrosFuncao

`Protected`diagnosticoJaExiste

`Protected`inferirTipoBinario

`Protected`marcarVariaveisUsadasEmExpressao

`Protected`obterTipoExpressao

`Protected`todosOsCaminhosRetornam

`Protected`verificarInterpolacaoTexto

`Protected`verificarSeRetorna