java.lang.Object
com.kryptokrauts.sophia.compiler.generated.model.CompileOpts

@Generated(value="org.openapitools.codegen.languages.JavaClientCodegen",
           date="2022-01-10T23:40:13.294772960Z[Etc/UTC]")
public class CompileOpts
extends java.lang.Object
CompileOpts
  • Field Details

    • JSON_PROPERTY_BACKEND

      public static final java.lang.String JSON_PROPERTY_BACKEND
      See Also:
      Constant Field Values
    • JSON_PROPERTY_FILE_SYSTEM

      public static final java.lang.String JSON_PROPERTY_FILE_SYSTEM
      See Also:
      Constant Field Values
    • JSON_PROPERTY_SRC_FILE

      public static final java.lang.String JSON_PROPERTY_SRC_FILE
      See Also:
      Constant Field Values
  • Constructor Details

    • CompileOpts

      public CompileOpts()
  • Method Details

    • backend

      public CompileOpts backend​(CompileOpts.BackendEnum backend)
    • getBackend

      @Nullable public CompileOpts.BackendEnum getBackend()
      Compiler backend; fate | aevm
      Returns:
      backend
    • setBackend

      public void setBackend​(CompileOpts.BackendEnum backend)
    • fileSystem

      public CompileOpts fileSystem​(java.lang.Object fileSystem)
    • getFileSystem

      @Nullable public java.lang.Object getFileSystem()
      An explicit file system, mapping file names to file content
      Returns:
      fileSystem
    • setFileSystem

      public void setFileSystem​(java.lang.Object fileSystem)
    • srcFile

      public CompileOpts srcFile​(java.lang.String srcFile)
    • getSrcFile

      @Nullable public java.lang.String getSrcFile()
      Name of contract source file - only used in error messages
      Returns:
      srcFile
    • setSrcFile

      public void setSrcFile​(java.lang.String srcFile)
    • equals

      public boolean equals​(java.lang.Object o)
      Overrides:
      equals in class java.lang.Object
    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class java.lang.Object
    • toString

      public java.lang.String toString()
      Overrides:
      toString in class java.lang.Object