equal
deleted
inserted
replaced
40 }); |
40 }); |
41 } |
41 } |
42 |
42 |
43 private static synchronized void initialize(TypeDataBase db) throws WrongTypeException { |
43 private static synchronized void initialize(TypeDataBase db) throws WrongTypeException { |
44 Type type = db.lookupType("PhaseCFG"); |
44 Type type = db.lookupType("PhaseCFG"); |
45 numBlocksField = new CIntField(type.getCIntegerField("_num_blocks"), 0); |
45 numBlocksField = new CIntField(type.getCIntegerField("_number_of_blocks"), 0); |
46 blocksField = type.getAddressField("_blocks"); |
46 blocksField = type.getAddressField("_blocks"); |
47 bbsField = type.getAddressField("_node_to_block_mapping"); |
47 bbsField = type.getAddressField("_node_to_block_mapping"); |
48 brootField = type.getAddressField("_broot"); |
48 brootField = type.getAddressField("_root_block"); |
49 } |
49 } |
50 |
50 |
51 private static CIntField numBlocksField; |
51 private static CIntField numBlocksField; |
52 private static AddressField blocksField; |
52 private static AddressField blocksField; |
53 private static AddressField bbsField; |
53 private static AddressField bbsField; |