예제 #1
0
파일: Priority.cs 프로젝트: condda/ql
        //TypeCheck

        public Types.Type GetCompatibleType(Types.BoolType ChildType)
        {
            return(new Types.BoolType());
        }
예제 #2
0
 public Values.Bool Visit(Types.BoolType boolValue)
 {
     return(new Values.Bool(false));
 }
예제 #3
0
 public CheckboxWidget Visit(Types.BoolType boolValue)
 {
     return(new CheckboxWidget(id));
 }