A B C D E F G H I J K L M N O P R S T U V X Z

S

S - Static variable in class circusRefine.UtilCircus.CircusChar

S - Static variable in interface circusRefine.UtilCircus.CircusString

salvarOpcoes(boolean, boolean, boolean, boolean) - Method in class circusRefine.core.GerenciadorExterno

Método que salva o arquivo desenvolvido na ferramenta de acordo com algumas opções selecionadas pelo usuário.

saveAsFile(String, String, String, String) - Method in class circusRefine.gui.TelaPrincipal

Salva o arquivo corrente dando a opção de o usuário escolher o caminho.

saveFile(String, String, String, String) - Method in class circusRefine.gui.TelaPrincipal

Salva o arquivo corrente.

SCH - Static variable in interface circusRefine.UtilZString.ZString

SCHCHAR - Static variable in class circusRefine.UtilZString.ZChar

box drawings light down and right.

SCHCHAR - Static variable in interface circusRefine.UtilZString.ZString

box drawings light down and right.

SCHHIFEN - Static variable in class circusRefine.UtilZString.ZChar

SCHHIFEN - Static variable in interface circusRefine.UtilZString.ZString

SE - Static variable in class circusRefine.UtilZString.ZChar

south east arrow.

SE - Static variable in interface circusRefine.UtilZString.ZString

south east arrow.

SECTION - Static variable in interface circusRefine.UtilZString.ZString

selecionarDesenvolvimento(int) - Method in class circusRefine.core.GerenciadorExterno

Seleciona a parte da tela de desenvolvimento cuja identidade é a mesma da passada como argumento.

selecionarDesenvolvimento(int, boolean) - Method in class circusRefine.gui.TelaDesenvolvimento

Método que seleciona a parte da tela de desenvolvimento que possui o ID passado como argumento.

selecionarDesenvolvimentoObrigacao(int) - Method in class circusRefine.core.GerenciadorExterno

Seleciona a parte da tela de desenvolvimento cuja identidade é a mesma da passada como argumento.

SEMI - Static variable in interface circusRefine.UtilZString.ZString

SEMICOLON - Static variable in class circusRefine.UtilZString.ZChar

semicolon.

SEMICOLON - Static variable in interface circusRefine.UtilZString.ZString

semicolon.

SEQ - Static variable in interface circusRefine.UtilZString.ZString

setAplicarLei(boolean) - Method in class circusRefine.core.NoPrograma

setarFlagModal(int) - Method in class circusRefine.gui.TelaParametro

Método que seta o atributo flagModal.

setarFocus() - Method in class circusRefine.core.GerenciadorExterno

Método que seta o foco das janelas da aplicação.

setarIdentificador(int) - Method in class circusRefine.gui.TelaDesenvolvimento

setarIdTelaNovo(int) - Method in class circusRefine.gui.TelaDesenvolvimento

Seta o relacionamento do programa que foi aplicado uma lei com o id da tela de desenvolvimento.

setarJanelasInternas(JInternalFrame, JInternalFrame, JInternalFrame) - Method in class circusRefine.gui.TelaPrincipal

Metodo publico que seta as janelas internas

setarLabel(String) - Method in class circusRefine.gui.TelaParametro

Método que seta o label da tela.

setarRelacionamentoTotal() - Method in class circusRefine.gui.TelaDesenvolvimento

Método que guarda e inicializa a lista de relacionamento da tela.

setarStatus(String) - Method in class circusRefine.core.GerenciadorExterno

Método para setar o status do programa em um determinado momento, mostrando o status na tela principal.

setarStatus(String) - Method in class circusRefine.gui.TelaPrincipal

setarTela(Term) - Method in class circusRefine.gui.TelaCodigo

Método que limpa o texto anterior da tela e coloca o novo texto.

setarTelaTexto(Term, String) - Method in class circusRefine.gui.TelaDesenvolvimento

Método que pega uma String obtida a partir de um programa e seta na tela no formato padrão de cálculo de programas, dependendo do parâmetro modo(novo ou aplicar) ele seta o layout diferentemente.

setarTextoDesenvolvimento(String[]) - Method in class circusRefine.gui.TelaDesenvolvimento

Método que seta o conteúdo textual da janela de desenvolvimento.

setarTextoTela(List<String>) - Method in class circusRefine.gui.TelaObrigacao

Método que carrega as obrigações de prova na tela de obrigação.

setCaracterClicado(String) - Method in class circusRefine.core.GerenciadorExterno

Método que seta o atributo caracterClicado.

setCause(UnificationException) - Method in class circusRefine.core.crules.UnifierVisitor

setCont(int) - Method in class circusRefine.gui.TelaDesenvolvimento

Metodo para setar o valor de cont

setCurrentId(int) - Method in class circusRefine.core.print.Print

setCurrentIdPai(int) - Method in class circusRefine.core.print.Print

setErrors(List) - Method in class circusRefine.core.RespostaLei

setIconCod(int, int) - Method in class circusRefine.gui.InfoTelas

setIconDes(int, int) - Method in class circusRefine.gui.InfoTelas

setIconObri(int, int) - Method in class circusRefine.gui.InfoTelas

setId(int) - Method in class circusRefine.core.NoPrograma

setIdPai(int) - Method in class circusRefine.core.NoPrograma

setIdProg(int) - Method in class circusRefine.core.GerenciadorExterno

setIdProg(int) - Method in class circusRefine.core.GerenciadorInterno

Seta o id corrente no Circus Refine.

setIdProgAplicado(int) - Method in class circusRefine.core.RespostaLei

setIdProgPai(int) - Method in class circusRefine.core.GerenciadorExterno

setIdProgPai(int) - Method in class circusRefine.core.GerenciadorInterno

Seta o idPai corrente no Circus Refine

setInfoCod(int, int, int, int) - Method in class circusRefine.gui.InfoTelas

setInfoDes(int, int, int, int) - Method in class circusRefine.gui.InfoTelas

setInfoDesktop(int, int) - Method in class circusRefine.gui.InfoTelas

setInfoObri(int, int, int, int) - Method in class circusRefine.gui.InfoTelas

setIsSchema(boolean) - Method in class circusRefine.core.print.Print

setLinhaFinal(int) - Method in class circusRefine.core.Relacionamento

setLinhaInicial(int) - Method in class circusRefine.core.Relacionamento

SETMINUS - Static variable in class circusRefine.UtilZString.ZChar

reverse solidus.

SETMINUS - Static variable in interface circusRefine.UtilZString.ZString

reverse solidus.

setNoPrograma(NoPrograma) - Method in class circusRefine.core.Relacionamento

setObrigacoes(List<Pred>) - Method in class circusRefine.core.RespostaLei

setPairs(List<Pair>) - Method in class circusRefine.core.print.Printer

setPrograma(Term) - Method in class circusRefine.core.NoPrograma

setProgResultante(Term) - Method in class circusRefine.core.RespostaLei

setTamanhoMonitor(int, int) - Method in class circusRefine.core.GerenciadorExterno

Método que seta as variáveis que representam o tamanho do monitor.

showError(String, String, int) - Method in class circusRefine.gui.TelaDesenvolvimento

showTypecheckerErrors(List) - Method in class circusRefine.core.GerenciadorExterno

Método que recebe como parâmetro um predicado e retorna o SimpleNode relativo a ele.

SLASH - Static variable in interface circusRefine.UtilZString.ZString

SOLIDUS - Static variable in class circusRefine.UtilZString.ZChar

solidus.

SOLIDUS - Static variable in interface circusRefine.UtilZString.ZString

solidus.

Space - Static variable in class circusRefine.core.print.Print

SPACE - Static variable in class circusRefine.UtilZString.ZChar

space.

SPACE - Static variable in interface circusRefine.UtilZString.ZString

space.

SPOT - Static variable in class circusRefine.UtilZString.ZChar

Z notation spot.

SPOT - Static variable in interface circusRefine.UtilZString.ZString

Z notation spot.

stringFromZName(ZName) - Method in class circusRefine.core.print.Print

strProg_ - Variable in class circusRefine.core.print.PrintRetorno

SUB1 - Static variable in interface circusRefine.UtilZString.ZString

SUBSET - Static variable in class circusRefine.UtilZString.ZChar

subset of.

SUBSET - Static variable in interface circusRefine.UtilZString.ZString

subset of.

SUBSETEQ - Static variable in class circusRefine.UtilZString.ZChar

subset of or equal to.

SUBSETEQ - Static variable in interface circusRefine.UtilZString.ZString

subset of or equal to.

substituirTextoTela(List<String>) - Method in class circusRefine.gui.TelaObrigacao

Substitui o texto da lista de obrigacoes de prova.

SUCC - Static variable in class circusRefine.UtilZString.ZChar

SUCC - Static variable in interface circusRefine.UtilZString.ZString

SUP1 - Static variable in interface circusRefine.UtilZString.ZString

SURJ - Static variable in class circusRefine.UtilZString.ZChar

rightwards two-headed arrow.

SURJ - Static variable in interface circusRefine.UtilZString.ZString

rightwards two-headed arrow.

SW - Static variable in class circusRefine.UtilZString.ZChar

south west arrow.

SW - Static variable in interface circusRefine.UtilZString.ZString

south west arrow.

swap() - Method in class circusRefine.core.UndoRedoTerms

Executa uma troca da ação das ações depois e antes de uma operação

SYMDIFF - Static variable in class circusRefine.UtilZString.ZChar

circled minus.

SYMDIFF - Static variable in interface circusRefine.UtilZString.ZString

circled minus.