io.github.chains_project.cs.commons.runtime.LineSnapshot Maven / Gradle / Ivy

Go to download

package io.github.chains_project.cs.commons.runtime;

import com.fasterxml.jackson.annotation.JsonProperty;
import java.util.List;

public class LineSnapshot {

    private final String file;
    private final int lineNumber;
    private final List stackFrameContext;

    public LineSnapshot(
            @JsonProperty("file") String file,
            @JsonProperty("lineNumber") int lineNumber,
            @JsonProperty("stackFrameContext") List stackFrameContext) {
        this.file = file;
        this.lineNumber = lineNumber;
        this.stackFrameContext = stackFrameContext;
    }

    public String getFile() {
        return file;
    }

    public int getLineNumber() {
        return lineNumber;
    }

    public List getStackFrameContext() {
        return stackFrameContext;
    }
}