ExprToTerm (refinery-language 0.2.0 API)

java.lang.Object

tools.refinery.language.expressions.ExprToTerm

public class ExprToTerm extends Object

Constructor Summary

Constructors

Constructor

Description

ExprToTerm()
Method Summary

Modifier and Type

Method

Description

protected Optional<AnyTerm>

createAtom(Atom atom)

protected ImportAdapterProvider

getImportAdapterProvider()

protected ProblemTypeAnalyzer

getTypeAnalyzer()

Optional<AnyTerm>

toTerm(Expr expr)

protected static AnyTerm

wrapModality(AnyTerm bodyTerm, Modality modality)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- ExprToTerm
  
  public ExprToTerm()
Method Details
- getImportAdapterProvider
  
  protected ImportAdapterProvider getImportAdapterProvider()
- getTypeAnalyzer
  
  protected ProblemTypeAnalyzer getTypeAnalyzer()
- toTerm
  
  public Optional<AnyTerm> toTerm(Expr expr)
- createAtom
  
  protected Optional<AnyTerm> createAtom(Atom atom)
- wrapModality
  
  protected static AnyTerm wrapModality(AnyTerm bodyTerm, Modality modality)