/*** * Copyright (C) 2015 by Chang Liu <liuchang@cs.umd.edu> */ package com.oblivm.backend.lang.inter; public interface Input { public boolean nextBoolean(); public boolean[] readAll(); public boolean isEnd(); public boolean closed(); }