Class AnalisadorSemantico

O Analisador Semântico de Delégua.

Hierarchy (View Summary)

AnalisadorSemanticoBase
- AnalisadorSemantico

Index

Constructors

Properties

atual classeAtualEmAnalise classesDeclaradas classesRegistradas diagnosticos funcoes gerenciadorEscopos microAvaliadorSintatico microLexador pilhaVariaveis

Methods

adicionarDiagnostico analisar aviso comparacaoArgumentosContraParametrosFuncao diagnosticoJaExiste erro inferirTipoBinario marcarVariaveisUsadasEmExpressao obterTipoExpressao registrarClassesExternas 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 visitarExpressaoBote visitarExpressaoComentario visitarExpressaoContinua visitarExpressaoDeAtribuicao visitarExpressaoDeChamada visitarExpressaoDefinirValor visitarExpressaoDeVariavel visitarExpressaoDicionario visitarExpressaoExpressaoRegular visitarExpressaoFalhar visitarExpressaoFimPara visitarExpressaoFormatacaoEscrita visitarExpressaoFuncaoConstruto visitarExpressaoIsto visitarExpressaoLeia visitarExpressaoLiteral visitarExpressaoLogica visitarExpressaoMorsa 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:72

Properties

atual

atual: number

classeAtualEmAnalise

classeAtualEmAnalise: Classe

classesDeclaradas

classesDeclaradas: Set<string>

classesRegistradas

classesRegistradas: Map<string, Classe>

diagnosticos

diagnosticos: DiagnosticoAnalisadorSemanticoInterface[]

funcoes

funcoes: { [nomeFuncao: string]: FuncaoHipoteticaInterface }

gerenciadorEscopos

gerenciadorEscopos: GerenciadorEscopos = ...

`Protected` `Readonly`microAvaliadorSintatico

microAvaliadorSintatico: MicroAvaliadorSintatico = ...

`Protected` `Readonly`microLexador

microLexador: MicroLexador = ...

pilhaVariaveis

pilhaVariaveis: PilhaVariaveis

Methods

adicionarDiagnostico

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

analisar

analisar(
declaracoes: Declaracao[],
): Promise<RetornoAnalisadorSemanticoInterface>
Parameters
- declaracoes: Declaracao[]
Returns Promise<RetornoAnalisadorSemanticoInterface>
Overrides AnalisadorSemanticoBase.analisar
- Defined in fontes/analisador-semantico/analisador-semantico.ts:1828

aviso

aviso(
    simbolo: SimboloInterface,
    mensagem: string,
    codigoDiagnostico?: string,
    simboloRelacionado?: SimboloInterface,
): void
Parameters
- simbolo: SimboloInterface
- mensagem: string
- OptionalcodigoDiagnostico: string
- OptionalsimboloRelacionado: SimboloInterface
Returns void
Inherited from AnalisadorSemanticoBase.aviso
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:126

`Protected`comparacaoArgumentosContraParametrosFuncao

comparacaoArgumentosContraParametrosFuncao(
    simboloFuncao: SimboloInterface,
    parametros: ParametroInterface[],
    argumentos: ConstrutoInterface[],
): void
Parameters
- simboloFuncao: SimboloInterface
- parametros: ParametroInterface[]
- argumentos: ConstrutoInterface[]
Returns void
Overrides AnalisadorSemanticoBase.comparacaoArgumentosContraParametrosFuncao
- Defined in fontes/analisador-semantico/analisador-semantico.ts:217

`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:95

erro

erro(
    simbolo: SimboloInterface,
    mensagem: string,
    codigoDiagnostico?: string,
    simboloRelacionado?: SimboloInterface,
): void
Parameters
- simbolo: SimboloInterface
- mensagem: string
- OptionalcodigoDiagnostico: string
- OptionalsimboloRelacionado: SimboloInterface
Returns void
Inherited from AnalisadorSemanticoBase.erro
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:104

`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:257

`Protected`marcarVariaveisUsadasEmExpressao

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

`Protected`obterTipoExpressao

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

registrarClassesExternas

registrarClassesExternas(classes: Classe[]): void
Parameters
- classes: Classe[]
Returns void
- Defined in fontes/analisador-semantico/analisador-semantico.ts:85

sugestao

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

`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:386

`Protected`verificarInterpolacaoTexto

verificarInterpolacaoTexto(texto: string, literal: Literal): void
Verifica interpolações de texto e marca variáveis como usadas, compreendendo cada expressão interpolada com MicroLexador e MicroAvaliadorSintatico.
Parameters
- texto: string
- literal: Literal
Returns void
Overrides AnalisadorSemanticoBase.verificarInterpolacaoTexto
- Defined in fontes/analisador-semantico/analisador-semantico.ts:1219

`Protected`verificarSeRetorna

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

verificarTipoAtribuido

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

verificarVariaveisNaoUsadas

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

visitarChamadaPorArgumentoReferenciaFuncao

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

visitarChamadaPorReferenciaFuncao

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

visitarChamadaPorVariavel

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

visitarDeclaracaoAjuda

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

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:519

visitarDeclaracaoClasse

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

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:527

visitarDeclaracaoConst

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

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:535

visitarDeclaracaoDeExpressao

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

visitarDeclaracaoDefinicaoFuncao

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

visitarDeclaracaoEnquanto

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

visitarDeclaracaoEscolha

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

visitarDeclaracaoEscreva

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

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:665

visitarDeclaracaoFazer

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

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:567

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:571

visitarDeclaracaoPara

visitarDeclaracaoPara(declaracao: Para): Promise<any>
Parameters
- declaracao: Para
Returns Promise<any>
Overrides AnalisadorSemanticoBase.visitarDeclaracaoPara
- Defined in fontes/analisador-semantico/analisador-semantico.ts:679

visitarDeclaracaoParaCada

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

visitarDeclaracaoSe

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

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:587

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:591

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:459

visitarDeclaracaoVar

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

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:511

visitarExpressaoAcessoMetodoOuPropriedade

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

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:515

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:615

visitarExpressaoAjuda

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

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:501

visitarExpressaoAtribuicaoPorIndice

visitarExpressaoAtribuicaoPorIndice(
expressao: AtribuicaoPorIndice,
): Promise<any>
Parameters
- expressao: AtribuicaoPorIndice
Returns Promise<any>
Overrides AnalisadorSemanticoBase.visitarExpressaoAtribuicaoPorIndice
- Defined in fontes/analisador-semantico/analisador-semantico.ts:536

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:623

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:629

visitarExpressaoBloco

visitarExpressaoBloco(declaracao: Bloco): Promise<any>
Parameters
- declaracao: Bloco
Returns Promise<any>
Overrides AnalisadorSemanticoBase.visitarExpressaoBloco
- Defined in fontes/analisador-semantico/analisador-semantico.ts:516

visitarExpressaoBote

visitarExpressaoBote(expressao: Bote): Promise<any>
Parameters
- expressao: Bote
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoBote
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:729

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:473

visitarExpressaoContinua

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

visitarExpressaoDeAtribuicao

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

visitarExpressaoDeChamada

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

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:645

visitarExpressaoDeVariavel

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

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:657

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:661

visitarExpressaoFalhar

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

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:673

visitarExpressaoFormatacaoEscrita

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

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:649

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:681

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:685

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:689

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:693

visitarExpressaoMorsa

visitarExpressaoMorsa(expressao: Morsa): Promise<any>
Parameters
- expressao: Morsa
Returns Promise<any>
Inherited from AnalisadorSemanticoBase.visitarExpressaoMorsa
- Defined in fontes/analisador-semantico/analisador-semantico-base.ts:725

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:507

visitarExpressaoRetornar

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

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:478

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:701

visitarExpressaoSustar

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

visitarExpressaoTipoDe

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

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:709

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:469

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:717

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:721

Class AnalisadorSemantico

Hierarchy (View Summary)

Index

Constructors

Properties

Methods

Constructors

constructor

Returns AnalisadorSemantico

Properties

atual

classeAtualEmAnalise

classesDeclaradas

classesRegistradas

diagnosticos

funcoes

gerenciadorEscopos

Protected ReadonlymicroAvaliadorSintatico

Protected ReadonlymicroLexador

pilhaVariaveis

Methods

adicionarDiagnostico

Parameters

Returns void

analisar

Parameters

Returns Promise<RetornoAnalisadorSemanticoInterface>

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

registrarClassesExternas

Parameters

Returns void

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>

`Protected` `Readonly`microAvaliadorSintatico

`Protected` `Readonly`microLexador

`Protected`comparacaoArgumentosContraParametrosFuncao

`Protected`diagnosticoJaExiste

`Protected`inferirTipoBinario

`Protected`marcarVariaveisUsadasEmExpressao

`Protected`obterTipoExpressao

`Protected`todosOsCaminhosRetornam

`Protected`verificarInterpolacaoTexto

`Protected`verificarSeRetorna